Skip to main content

sim_kernel/
library.rs

1//! The library and registry contracts: loading behavior against the kernel.
2//!
3//! The kernel defines the [`Lib`], [`Linker`], [`Registry`], [`ExportRecord`],
4//! and loader contracts plus manifest and version metadata; the libraries
5//! supply the behavior these registries make available.
6
7#[cfg(test)]
8mod activation_tests;
9mod boot;
10mod boot_codec;
11mod claims;
12mod cx;
13mod loaders;
14mod model;
15mod registry;
16#[cfg(test)]
17mod tests;
18mod transaction;
19
20pub use boot::{LibBootDependency, LibBootReceipt, LibSourceSpec, RegistryBootState};
21pub use loaders::{CatalogSource, Lib, LibLoader, LibSource, LoadCx, LoaderRegistry};
22pub use model::{
23    AbiVersion, Dependency, Export, ExportKind, ExportRecord, ExportState, LibManifest, LibTarget,
24    LoadedLib, RegisteredTest, Test, TestReport, Version,
25};
26pub use registry::Registry;
27pub use transaction::{Linker, LoadTransaction};