1 2 3 4 5 6
//! Validated facts and vocabulary shared by core machines. #[cfg(kani)] mod proofs; #[cfg(test)] mod tests;