Module `Test.Bool`

module M : sig ... end

module Conjunctive : sig ... end

module Disjunctive : sig ... end

module Eq : sig ... end

module Ord : sig ... end

module Join_Semilattice : sig ... end

module Meet_Semilattice : sig ... end

module Bounded_Join_Semilattice : sig ... end

module Bounded_Meet_Semilattice : sig ... end

module Lattice : sig ... end

module Bounded_Lattice : sig ... end

module Distributive_Lattice : sig ... end

module Bounded_Distributive_Lattice : sig ... end

module Heyting_Algebra : sig ... end

module Involutive_Heyting_Algebra : sig ... end

module Boolean_Algebra : sig ... end