Crate vihaco_stdlib 

Re-exports

pub use program::ProgramImage;

pub use execution_state::ExecutionState;

pub use image::Image;

pub use loadable::Loadable;

Modules

clock

Reusable global-clock and timing vocabulary for vihaco runtimes.

execution_state

Checked invocation state and execution of an independently owned module.

image

Program data owned beside a dispatchable machine.

loadable

An independently owned image paired with its mutable execution machine.

observer

program

Loaded program state and host access to section-local code and metadata.