Parameter S3_to_S.T2

type t