Parameter 2-AW.1-K

type t
val t : t Type.ty