Module Over_meet_semilattice_and_via_top.Infix

val (&&) : t -> t -> t

Infix version of meet.