module Diagnostic_int: sig .. end
sig
end
type reason =
|
Dependency of (int * Cudf_types.vpkg list * int list)
(int * Cudf_types.vpkg list * int list)
Missing of (int * Cudf_types.vpkg list)
(int * Cudf_types.vpkg list)
Conflict of (int * int * Cudf_types.vpkg)
(int * int * Cudf_types.vpkg)
type result =
Success of (?all:bool -> unit -> int list)
(?all:bool -> unit -> int list)
Failure of (unit -> reason list)
(unit -> reason list)
type request =
Sng of (int option * int)
(int option * int)
Lst of (int option * int list)
(int option * int list)