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