Parameter Meet_Semilattice.1-MS

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