Bool package:ghc

Boolean formulas without quantifiers and without negation. Such a formula consists of variables, conjunctions (and), and disjunctions (or). This module is used to represent minimal complete definitions for classes.
A Boolean