type reason = | Dependency of Cudf.package * Cudf_types.vpkg list * Cudf.package list| Missing of Cudf.package * Cudf_types.vpkg list| Conflict of Cudf.package * Cudf.package * Cudf_types.vpkgmodule ResultHash : sig ... endtype summary = {mutable missing : int;mutable conflict : int;mutable unique_missing : int;mutable unique_conflict : int;summary : Cudf.package list Pervasives.ref ResultHash.t;}val default_result : int -> summarytype pp = Cudf.package -> string * string * (string * string) listval default_pp : ppval pp_package : ?source:bool -> pp -> Format.formatter -> Cudf.package -> unitval pp_vpkglist : pp -> Format.formatter -> Cudf_types.vpkglist -> unitval pp_dependency :
pp ->
?label:string ->
Format.formatter ->
(Cudf.package * Cudf_types.vpkglist) ->
unitval pp_dependencies :
pp ->
Format.formatter ->
(Cudf.package * Cudf_types.vpkglist) list list ->
unitval pp_list :
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a list ->
unitval print_error : pp -> Cudf.package -> Format.formatter -> reason list -> unitval get_installationset : ?minimal:bool -> diagnosis -> Cudf.package listval is_solution : diagnosis -> boolval pp_summary :
?pp:(Cudf.package -> Cudf_types.pkgname * string * (string * string) list) ->
?explain:bool ->
unit ->
Format.formatter ->
summary ->
unitval print_error_human :
?prefix:string ->
pp ->
Cudf.package ->
Format.formatter ->
reason list ->
unitval fprintf_human :
?pp:pp ->
?prefix:string ->
Format.formatter ->
diagnosis ->
unitval fprintf :
?pp:pp ->
?failure:bool ->
?success:bool ->
?explain:bool ->
?minimal:bool ->
Format.formatter ->
diagnosis ->
unit