Expansion.Include
Demonstrates handling of include statements
module type ToBeIncluded = sig ... end
module A : sig ... end
module B : sig ... end