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
7mod boot;
8mod boot_codec;
9mod claims;
10mod cx;
11mod loaders;
12mod model;
13mod registry;
14#[cfg(test)]
15mod tests;
16mod transaction;
17
18pub use boot::{LibBootDependency, LibBootReceipt, LibSourceSpec, RegistryBootState};
19pub use loaders::{CatalogSource, Lib, LibLoader, LibSource, LoadCx, LoaderRegistry};
20pub use model::{
21    AbiVersion, Dependency, Export, ExportKind, ExportRecord, ExportState, LibManifest, LibTarget,
22    LoadedLib, RegisteredTest, Test, TestReport, Version,
23};
24pub use registry::Registry;
25pub use transaction::{Linker, LoadTransaction};