Parameter 1-S.2-V

type t
val t : t Type.ty