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