Module type With5.S

type t