a type of tool