Expansion.Include
module type ToBeIncluded = sig ... end
module A : sig ... end
module B : sig ... end