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)