List of all items

Structs

• boolean::False
• boolean::True

Traits

• boolean::Boolean
• boolean::Falsity
• boolean::Truth
• connective::Conjunction
• connective::Disjunction
• connective::Negation
• equality::Equality

Type Aliases

• connective::And
• connective::Bimp
• connective::Imp
• connective::Not
• connective::Or
• connective::Xor
• equality::Eql