Parameter Via.Infix

type t = Core.t

The type held by the Bounded_meet_semilattice

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

Infix version of meet.