Skip to main content

refining_core/
lib.rs

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