Module Check_trace

module Check_trace: sig .. end

class check_trace : Options.trace_analysis_config -> object .. end