mck 0.7.1

Utility crate for the formal verification tool machine-check
Documentation
1
2
3
4
5
6
7
8
9
mod signed;
mod signless;
mod unsigned;
mod wrapping;

pub use signed::SignedInterval;
pub use signless::SignlessInterval;
pub use unsigned::UnsignedInterval;
pub use wrapping::{WrappingInterpretation, WrappingInterval};