V.O
val (<||) : HA.t -> HA.t -> bool
val (||>) : HA.t -> HA.t -> bool
val (<|=) : HA.t -> HA.t -> bool
val (>|=) : HA.t -> HA.t -> bool