Eliom_registration_sigsmodule type PARAM = sig ... endmodule type PARAM_POLY = sig ... endmodule type APP_PARAM = sig ... endSignature for application creation.
module type S = sig ... endmodule type S_with_create = sig ... endmodule type S_poly = sig ... endmodule type S_poly_with_create = sig ... endmodule type S_poly_with_send = sig ... endmodule type S_poly_with_create_with_send = sig ... end