Module Zeroinstall_solver.S
Some useful abstract module types.
module type CORE_MODEL = sig ... endmodule type SOLVER_INPUT = sig ... endmodule type SELECTIONS = sig ... endmodule type SOLVER_RESULT = sig ... endZeroinstall_solver.SSome useful abstract module types.
module type CORE_MODEL = sig ... endmodule type SOLVER_INPUT = sig ... endmodule type SELECTIONS = sig ... endmodule type SOLVER_RESULT = sig ... end