Skip to main content

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 numbers;
10mod promotion;
11mod selection;
12
13pub use base::{Diagnostics, Env};
14pub use core::{Capabilities, Cx};
15
16#[cfg(test)]
17mod test_support;
18#[cfg(test)]
19mod tests;