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