export interface HandtoolChanged { tool: number; }