Heyting_Algebra.O
val (<||) : H.t -> H.t -> bool
val (||>) : H.t -> H.t -> bool
val (<|=) : H.t -> H.t -> bool
val (>|=) : H.t -> H.t -> bool