- Companion
- object
trait BoundedLattice[A]
trait BoundedDistributiveLattice[A]
trait Heyting[A]
trait Bool[A]
class BooleanAlgebra
class BoolFromBoolRing[A]
class DualBool[A]
trait Logic[A]
trait DeMorgan[A]
class MinMaxBoundedDistributiveLattice[A]
trait GenBool[A]
class BitSetAlgebra
class SetLattice[A]
class GenBoolFromBoolRng[A]