pub fn execute<M, I, V, Ty, Info>(
module: &LocalModule<I, V, Ty, Info>,
machine: &mut M,
arguments: &[Word],
) -> Result<()>where
M: HasProgram<Program = ExecutionState> + Dispatch<LocalModule<I, V, Ty, Info>, Instruction = I>,Expand description
Enter main and execute through the composite’s authored Steps.
Devices remain in place. Instructions borrow the caller-owned module; there is no instruction clone, generated Step, or imposed effect-application policy.
§Errors
Returns entry, checked-fetch, or authored Dispatch/Step errors. Operand and component mutations made before an error are retained.