Parameter Meet_Semilattice.2-Error

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