BoundedJoinSemilatticeFunctions
trait BoundedJoinSemilatticeFunctions[B <: ([A] =>> BoundedJoinSemilattice[A])] extends JoinSemilatticeFunctions[B]
object BoundedDistributiveLattice
object BoundedJoinSemilattice
object BoundedLattice
trait DeMorganFunctions[H]
object DeMorgan
trait GenBoolFunctions[G]
object Bool
object GenBool
trait HeytingFunctions[H]
object Heyting