refining_core/prelude.rs
1//! The `refining-core` prelude.
2
3#[doc(inline)]
4pub use crate::{
5 and,
6 context::NoContext,
7 errors::{Error, Recoverable, RecoverableRef},
8 logical::{And, False, Nand, Nor, Or, True, Xnor, Xor},
9 not, or,
10 predicate::{Check, Predicate, PredicateExpected},
11 refinement::{RecoverableRefinement, RecoverableRefinementRef, Refine, Refinement, Refining},
12 type_str,
13 types::{StaticStr, TypeStr},
14 xor,
15};