Module S.T

type nonrec t = t