workshop_rs/

validate.rs

//! Public cross-domain canonical validation over [`crate::Program`].

pub use crate::rules::validate::*;