sig
type token =
INT of int
| IDENT of string
| ANNOT of string
| MAPESIDTOSID
| OPENGROUP
| CLOSEGROUP
| CODEBLOCKOPEN
| CODEBLOCKCLOSE
| ENDLINE
| EQ
| EOF
| CCODE
| SID
| COLON
| SEMICOLON
| FUNDECL
| DECLMAPESIDTOSID
| DECLARECODEMAP
| LEXINFOS
| POSINFOS
val mapextract :
(Lexing.lexbuf -> Sid_table_info_parser.token) ->
Lexing.lexbuf -> Trace_types.tr_subsystem_table
end