Punch, n. [Abbrev. fr. puncheon.] 1. A tool, usually of steel,
variously shaped at one end for different uses, and either solid, for
stamping or for perforating holes in metallic plates and other
substances, or hollow and sharpedged, for cutting out blanks, as for
buttons, steel pens, jewelry, and the like; a die.
2. (Pile Driving) An extension piece applied to the top of a pile; a
dolly.