Strictly the term refers to the pump itself, which is normally manually operated, though electrically powered and gas powered pumps are occasionally used