Module type Basic.with_

module type T = s