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)`