Module Algo.Depsolver_int.R

module R: sig .. end
Sat Solver instance

type reason = Algo.Diagnostic.reason_int