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