(TOOL) [noun] [C] - a piece of equipment which cuts holes in a material by pushing a piece of metal through ita ticket puncha metal punchThere are several types of punch that are designed for different materials.Have you seen the hole punch anywhere?
PUNCH
Meaning of PUNCH in English
Cambridge English vocab. Кембриджский английский словарь. 2012