pub trait ArgOperand { type Operand: Trait; // Required method fn program(self, block: &mut Block); }