Parameter Meet_Semilattice.1-M

type t
val meet : t -> t -> t