Definition of gin pump in English:

gin pump

noun

Mining
historical
  • A gin used to pump water out of a mine shaft.

Origin

Early 18th century; earliest use found in John Woodward (d. 1728), physician, natural historian, and antiquary.