PIPE BENDER

Definition A <PIPE BENDER> is a <BENDER> that is capable of <BENDING> a <PIPE>