Parameter 1-CA.2-V

type t
val t : t Type.ty