module type Non_immediate = sig ... endmodule type Immediate = sig ... endmodule Make (Immediate : Immediate) (Non_immediate : Non_immediate) : sig ... endSys.Immediate64module type Non_immediate = sig ... endmodule type Immediate = sig ... endmodule Make (Immediate : Immediate) (Non_immediate : Non_immediate) : sig ... end