//! Law enum + DeclaredLaw — plural alias.
//!
//! The canonical `AlgebraicLaw` enum and the `LAW_CATALOG` constant
//! live in [`crate::spec::law`]. This plural module aliases them so
//! code following `PLAN.md` naming (`crate::spec::laws`) resolves to
//! the same types. `DeclaredLaw` is re-exported from its own
//! submodule for the same reason.
/// Re-export of the proof-bearing law declaration.
pub use crate::spec::declared_law::DeclaredLaw;
/// Re-export of the canonical algebraic law vocabulary.
pub use crate::spec::law::{AlgebraicLaw, MonotonicDirection, LAW_CATALOG};