1 2 3 4 5 6
//! Shared types and the invariant evaluator. //! //! See ADR-0013 for the evaluator design. pub mod invariant; pub mod wiki;