Parameter 2-AW.2-V

type t
val t : t Type.ty