Module MODTYPE.Y

type t