Parameter Make.1-T

type t
val all : t list