Module Diagnostic_int


module Diagnostic_int: sig .. end
Solver output and diagnostic . Low Level API


type reason =
| Dependency of (int * Cudf_types.vpkg list * int list)
| Missing of (int * Cudf_types.vpkg list)
| Conflict of (int * int * Cudf_types.vpkg)

type result =
| Success of (?all:bool -> unit -> int list)
| Failure of (unit -> reason list)

type request =
| Sng of (int option * int)
| Lst of (int option * int list)