Expand description
Function types relating to boolean algebra.
Structs§
- And
- Boolean and operation. Takes two church booleans, and returns whether both are true.
- If
- Alternation. Takes a church boolean and two values, and returns the first if the boolean is true, otherwise the second.
- Not
- Boolean not operation. Takes a church boolean and returns its inverse.
- Or
- Boolean or operation. Takes two church booleans, and returns whether either is true.
- Xor
- Boolean xor operation. Takes two church booleans, and returns whether only one is true.