module Diagnostic_int:Solver output and diagnostic . Low Level APIsig
..end
type
reason =
| |
Dependency of |
| |
Missing of |
| |
Conflict of |
type
result =
| |
Success of |
| |
Failure of |
type
request =
| |
Sng of |
| |
Lst of |