Skip to main content

workshop_rs/
validate.rs

1//! Public cross-domain canonical validation over [`crate::Program`].
2
3pub use crate::rules::validate::*;
4
5#[cfg(test)]
6pub(crate) use crate::rules::validate::validate_canonical_ids_wir;