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
Sourcemodule type S = sig ... end