Module Process.Call
module Input : sig ... endmodule Region_input : sig ... endmodule Output : sig ... endmodule Result : sig ... endProcess.Callmodule Input : sig ... endmodule Region_input : sig ... endmodule Output : sig ... endmodule Result : sig ... end