module Trace_types:sig
..end
type
sys_control =
| |
Sys_control of |
typetrace =
sys_control list
type
esid =
| |
ESID of |
type
sid =
| |
SID of |
typeesidtosidrel =
esid * sid
type
map_2_fcinfos = {
|
tr_sysname : |
|
esid_to_sid_map : |
|
esid_to_statement_infos : |
typetr_subsystem_table =
(string, map_2_fcinfos) Hashtbl.t