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