1 2 3 4 5 6 7
//! Generated invariants from .sinv DSL files. //! //! This module is automatically generated by build.rs. //! It contains compiled invariant definitions from all .sinv files //! in the invariants/ directory. include!("invariants.rs");