pub trait DepthCheckedMachine {
// Required methods
fn stack_left(&mut self) -> u32;
fn set_stack(&mut self, size: u32);
}Expand description
Trait for machines that track stack depth.
pub trait DepthCheckedMachine {
// Required methods
fn stack_left(&mut self) -> u32;
fn set_stack(&mut self, size: u32);
}Trait for machines that track stack depth.