sig
type sys_control = Sys_control of string * string
type trace = Trace_types.sys_control list
type esid = ESID of int
type sid = SID of int
type esidtosidrel = Trace_types.esid * Trace_types.sid
type map_2_fcinfos = {
tr_sysname : string;
esid_to_sid_map : (Trace_types.esid, Trace_types.sid) Hashtbl.t;
esid_to_statement_infos :
(Trace_types.sid, string * (Lexing.position * Lexing.position) option)
Hashtbl.t;
}
type tr_subsystem_table = (string, Trace_types.map_2_fcinfos) Hashtbl.t
end