Module S.M

type _ t