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
class Object
trait Matchable
class Any