Source : Webster's Revised Unabridged Dictionary (1913)

Hogger-pump \Hog"ger-pump"\, n. (Mining)
   The for pump in the pit. --Raymond.