Over_join_semilattice_and_meet_semilattice.Infix
val (||) : t -> t -> t
Infix version of join.
join
val (&&) : t -> t -> t
Infix version of meet.
meet