Module OpamCudfSolverSigSource

Sourcetype criteria_def = {
  1. crit_default : string;
  2. crit_upgrade : string;
  3. crit_fixup : string;
  4. crit_best_effort_prefix : string option;
}
Sourceexception Timeout of (Cudf.preamble option * Cudf.universe) option

Timeout might still return a non-optimal solution

Sourcemodule type S = sig ... end