module OpamHeuristic: sig .. end
sig
end
val resolve : ?verbose:bool -> Cudf.universe -> Cudf_types.vpkg OpamTypes.request -> (Cudf.package OpamTypes.action list, Algo.Diagnostic.reason list) OpamTypes.result
?verbose:bool -> Cudf.universe -> Cudf_types.vpkg OpamTypes.request -> (Cudf.package OpamTypes.action list, Algo.Diagnostic.reason list) OpamTypes.result