//! File-backed formal algebraic-law specifications.
/// TOML catalog loader for `.formal` specifications.
pub mod loader;
/// SMT-LIB export hook.
pub mod smt;
/// Data model for parsed formal specs.
pub mod spec;
/// Re-export of the catalog loader and error types.
pub use loader::{load_catalog, FormalSpecError, FormalSpecFile};
/// Re-export of the formal spec data types.
pub use spec::{FormalLawSpec, FormalParameter, FormalVariable};