Skip to main content

vihaco_runtime/
execution.rs

1// SPDX-FileCopyrightText: 2026 The vihaco Authors
2// SPDX-License-Identifier: MIT
3
4/// Access to the composite's execution-state device, supplied by `#[program]`.
5/// This selects mutable invocation state; the runner borrows program data separately.
6/// Instruction selection and PC management remain internal to stdlib execution.
7pub trait HasProgram {
8    type Program;
9    fn program(&self) -> &Self::Program;
10    fn program_mut(&mut self) -> &mut Self::Program;
11}