Module V.O
val (<||) : Bool.Heyting_Algebra.t -> Bool.Heyting_Algebra.t -> boolval (||>) : Bool.Heyting_Algebra.t -> Bool.Heyting_Algebra.t -> boolval (<|=) : Bool.Heyting_Algebra.t -> Bool.Heyting_Algebra.t -> boolval (>|=) : Bool.Heyting_Algebra.t -> Bool.Heyting_Algebra.t -> bool