Module Report

module Report: sig .. end

val sources_glob : Glob.globber

val analyze : Format.formatter -> Solver.backtrace -> bool

val print_backtrace : Format.formatter -> Solver.backtrace -> unit

val print_backtrace_analyze : Format.formatter -> Solver.backtrace -> unit