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.