1 2 3 4 5
//! Law declarations with mandatory verification provenance. /// Re-export of [`vyre_spec::DeclaredLaw`] — an algebraic law paired with /// the verification strategy that proved it. pub use crate::spec::types::DeclaredLaw;