module Report: sig .. end
sig
end
val print_backtrace_analyze : Format.formatter -> Solver.backtrace -> unit
Format.formatter -> Solver.backtrace -> unit
val print_backtrace : Format.formatter -> Solver.backtrace -> unit