Ocamlbuild_pack.Report
val print_backtrace_analyze : Format.formatter -> Solver.backtrace -> unit
val print_backtrace : Format.formatter -> Solver.backtrace -> unit