nutcracker.data.bool
package nutcracker.data.bool
Type members
Classlikes
A domain for boolean values. It is a boolean algebra, with interpretation of operations that is dual to the standard interpretation in a boolean algebra: contradiction is at the top, logical and is join, and logical or is meet.
A domain for boolean values. It is a boolean algebra, with interpretation of operations that is dual to the standard interpretation in a boolean algebra: contradiction is at the top, logical and is join, and logical or is meet.
- Companion:
- object