package cudf

  1. Overview
  2. Docs
type inconsistency_reason = [
  1. | `Conflict of (Cudf_types.pkgname * Cudf_types.version) * Cudf_types.vpkglist
  2. | `Unsat_dep of (Cudf_types.pkgname * Cudf_types.version) * Cudf_types.vpkgformula
]
type bad_solution_reason = [
  1. | `Conflict of (Cudf_types.pkgname * Cudf_types.version) * Cudf_types.vpkglist
  2. | `Downgrade of Cudf_types.vpkglist
  3. | `Missing_install of Cudf_types.vpkglist
  4. | `Missing_upgrade of Cudf_types.vpkglist
  5. | `Multi_upgrade of Cudf_types.pkgname list
  6. | `Not_kept of Cudf_types.pkgname * Cudf_types.version * Cudf_types.enum_keep
  7. | `Unremoved of Cudf_types.vpkglist
  8. | `Unsat_dep of (Cudf_types.pkgname * Cudf_types.version) * Cudf_types.vpkgformula
]
val explain_reason : bad_solution_reason -> string
val disjoint : Cudf.universe -> ?ignore:(Cudf.package -> bool) -> Cudf_types.vpkglist -> bool * Cudf_types.vpkglist
val is_consistent : Cudf.universe -> bool * inconsistency_reason option
val is_solution : (Cudf.universe * Cudf.request) -> Cudf.universe -> bool * bad_solution_reason list