Module `Expansion.Include`

Demonstrates handling of include statements

module type ToBeIncluded = sig ... end

module A : sig ... end

module B : sig ... end