Trait operational::instr::Instr
[−]
[src]
pub trait Instr { type Return; fn to_program<'a>(self) -> Program<'a, Self, Self::Return>
where
Self: Sized, { ... } }
The trait for an instruction set.
Holds its return type as an associated type.
Associated Types
type Return
Provided Methods
fn to_program<'a>(self) -> Program<'a, Self, Self::Return> where
Self: Sized,
Self: Sized,
Lift the instruction into a program.