Module Bool.Infix

module Conjunctive : sig ... end
module Disjunctive : sig ... end
include sig ... end
val (=|=) : Eq.t -> Eq.t -> bool
include sig ... end
val (<||) : Ord.t -> Ord.t -> bool
val (||>) : Ord.t -> Ord.t -> bool
val (<|=) : Ord.t -> Ord.t -> bool
val (>|=) : Ord.t -> Ord.t -> bool
include sig ... end
val (<||>) : Join_Semilattice.t -> Join_Semilattice.t -> Join_Semilattice.t
include sig ... end
val (<&&>) : Meet_Semilattice.t -> Meet_Semilattice.t -> Meet_Semilattice.t
include sig ... end
val (-->) : Heyting_Algebra.t -> Heyting_Algebra.t -> Heyting_Algebra.t