Module type With9.S

type t