1 2 3 4 5 6 7 8 9 10
#![deny(unsafe_code)] #![allow(missing_docs)] //! Invariant library: Load invariants from TOML files. pub mod library; pub mod loader; pub use library::InvariantLibrary; pub use loader::LibraryLoader;