Parameter Make.X

type t
val dummy : t