trilean v1.1.0 API Reference
Modules
Trilean implements a functionally complete three-valued logic, K3+. This is an extension of Kleene's strong logic of indeterminacy.
Guard expressions for three-valued logic.
Operators for three-valued logic. These are in conflict with the stdlib
Bitwise
module, so both modules cannot be in use
at the same time.