Module type S.Y

type t