module R: sig .. end
sig
end
Sat Solver instance
type reason = Algo.Diagnostic.reason_int
Algo.Diagnostic.reason_int