sim_kernel/env.rs
1//! The evaluation environment: [`Cx`], [`Env`], capabilities, and diagnostics.
2//!
3//! This is the context threaded through every checked call -- the registry
4//! handle, capability set, and diagnostic sink the kernel contracts operate
5//! against; libraries supply the behavior reached through it.
6
7mod base;
8mod core;
9mod fork;
10mod load_ledger;
11mod numbers;
12mod promotion;
13mod selection;
14
15pub use base::{Diagnostics, Env};
16pub use core::{Capabilities, Cx};
17
18#[cfg(test)]
19mod test_support;
20#[cfg(test)]
21mod tests;