Belt punch Meaning, Definition & Usage

Definitions
  1. (Mach.), a punch, or punch pliers, for making holes for lacings in the ends of driving belts.

Webster 1913