Module type With2.S

type t