module type ACTIVATIONS = sig ... endmodule type CONSOLE = sig ... endmodule Make : functor (A : ACTIVATIONS) -> functor (X : Xs_client_lwt.S) -> functor (C : CONSOLE) -> sig ... endMirage_console_xen_backend.Conbackmodule type ACTIVATIONS = sig ... endmodule type CONSOLE = sig ... endmodule Make : functor (A : ACTIVATIONS) -> functor (X : Xs_client_lwt.S) -> functor (C : CONSOLE) -> sig ... end