Parameter Make.M

type t
val type_ : t Value.Type.t