Parameter Make.1-X

type t
val dummy : t