List of all items

Structs

• context::NoContext
• errors::Error
• logical::And
• logical::False
• logical::Not
• logical::Or
• logical::True
• logical::Xor
• predicate::Expected
• prelude::And
• prelude::Error
• prelude::False
• prelude::NoContext
• prelude::Or
• prelude::Refinement
• prelude::True
• prelude::Xor
• refinement::Refinement

Traits

• predicate::Check
• predicate::Predicate
• predicate::PredicateExpected
• prelude::Check
• prelude::Predicate
• prelude::PredicateExpected
• prelude::Refine
• prelude::Refining
• prelude::TypeStr
• refinement::Refine
• refinement::Refining
• types::TypeStr

Macros

• and
• not
• or
• prelude::and
• prelude::not
• prelude::or
• prelude::type_str
• prelude::xor
• type_str
• xor

Type Aliases

• errors::Recoverable
• errors::RecoverableRef
• logical::Implies
• logical::Nand
• logical::Nor
• logical::Xnor
• prelude::Nand
• prelude::Nor
• prelude::Recoverable
• prelude::RecoverableRef
• prelude::RecoverableRefinement
• prelude::RecoverableRefinementRef
• prelude::StaticStr
• prelude::Xnor
• refinement::RecoverableRefinement
• refinement::RecoverableRefinementRef
• types::StaticStr

Constants

• errors::CONTEXT
• errors::ERROR
• errors::EXPECTED
• logical::AND
• logical::ANYTHING
• logical::FALSE
• logical::NOT
• logical::NOTHING
• logical::OR
• logical::TRUE
• logical::XOR