sim_lib_world/lib.rs
1//! Loadable read-only world projection and explanation product.
2//!
3//! The product receives already observed semantic facts from its caller. It can
4//! project, compare, and explain those facts, but has no observation, process,
5//! network, clock, random, mutation, or proof-execution port.
6#![forbid(unsafe_code)]
7#![deny(missing_docs)]
8
9mod command;
10mod product;
11mod provider;
12
13pub use command::{WORLD_VERB, WorldCommandLib};
14pub use product::{
15 DISCLOSURE_CONCLUSION, DISCLOSURE_FACT, SOURCE_CONCLUSION, SOURCE_FACT, WorldError,
16 WorldProduct, WorldProjection,
17};
18
19#[cfg(test)]
20mod tests;