'entrenching tool' definitions:

Definition of 'entrenching tool'

From: WordNet
noun
A hand shovel carried by infantrymen for digging trenches [syn: entrenching tool, trenching spade]