[−][src]Module rustollens::connective
Logical connectives.
Traits
| Conjunction | Type-level conjunction (AND). |
| Disjunction | Type-level disjunction (OR). |
| Negation | Type-level negation (NOT). |
Type Definitions
| And | Syntactic sugar for Conjunction. |
| Bimp | Logical bi-implication. |
| Imp | Logical implication. |
| Not | Syntactic sugar for Negation. |
| Or | Syntactic sugar for Disjunction. |
| Xor | Exclusive-OR of |