1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
//! Refinement types core. #![no_std] #![deny(missing_docs)] pub mod context; pub mod errors; #[macro_use] pub mod logical; pub mod predicate; pub mod prelude; pub mod refinement; #[macro_use] pub mod types; #[cfg(feature = "serde")] pub mod serde;