pub fn validate(program: &Program) -> Result<(), ValidationError>Expand description
Validates a whole program. See notes/rust-bytecode-vm.md §9 for the
rule list.
pub fn validate(program: &Program) -> Result<(), ValidationError>Validates a whole program. See notes/rust-bytecode-vm.md §9 for the
rule list.