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