sig
type control_type =
FC_ESID of int
| FLATAC_SINTER_SID of int
| FLATAC_SINIT
exception UnknownESidDescriptor of string
exception Unreferenced_esid_in of Trace_types.esid *
(Trace_types.esid, Trace_types.sid) Hashtbl.t
exception NoSubsystem of string * Trace_types.tr_subsystem_table
val type_statename_1 : string -> Trace_analysis.control_type
val type_statename_5 : string -> Trace_analysis.control_type
val type_statename_6 : string -> Trace_analysis.control_type
val type_statename : string -> Trace_analysis.control_type
val get_esid_of_statename : string -> Trace_types.esid option
val get_sid_statement_of_esid :
Trace_types.esid ->
Trace_types.map_2_fcinfos ->
Trace_types.sid * (string * (Lexing.position * Lexing.position) option)
val sid_anot_info_of_opt_esid :
Trace_types.esid option ->
Trace_types.map_2_fcinfos ->
Trace_types.sid * (string * (Lexing.position * Lexing.position) option)
val sid_infos_of_syscontrol :
?annot_less_callee:(string, 'a) Hashtbl.t option ->
Trace_types.tr_subsystem_table ->
Trace_types.sys_control ->
Trace_types.sid * (string * (Lexing.position * Lexing.position) option)
end