Module Trace_visitor

module Trace_visitor: sig .. end
Visitor for traces

type trace_inst_callback = int -> Trace_type.trace_inst -> unit 
type trace_inst_dba_callback = int -> Trace_type.trace_inst -> Dba_types.Statement.t -> unit 
class trace_visitor_inplace : object .. end
Classe used to visit and iterate a trace in a syntactic way (without DSE)