Parameter Meet_Semilattice.1-Ok

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