module Diagnostics

: sig

Explaining why a solve failed or gave an unexpected answer.

module Make : functor (Model : Sigs.SOLVER_RESULT) -> sig

val get_failure_reason : Model.t -> string

Why did this solve fail? We take the partial solution from the solver and show, for each component we couldn't select, which constraints caused the candidates to be rejected. See also: Solver.get_failure_reason

end