Meaning of pile driver

(noun) a machine that drives piling into the ground