Module type Basic.with_2

module type T = sig ... end
module M : T