Parameter 1-S.1-K

type t
val t : t Type.ty