type token = | XOR| WRITE| WORDSIZE| VAR| UNIMPLEMENTED| UNDEFINED| UNDEF| UNCONTROLLED| TRUE| TMP of string| THEN| TEMPTAG| TEMPORARY| SUPER| STRING of string| STOP| STAR_U| STAR_S| STAR| STACK| SOK| SLASH_U| SLASH_S| SKO| SEMICOLON| RSHIFTU| RSHIFTS| RROTATE| RPAR| RETURNFLAG| REGISTER| READ| REACH| RBRACKETU| RBRACKETS| RBRACKET| RBRACE| PRINT| PLUS| PERMISSIONS| OR| NWRITE| NREAD| NOT| NONDETASSUME| NONDET| NEXEC| NEQ| MODU| MODS| MINUS| MIN| MAX| MALLOC| LTU| LTS| LSHIFT| LROTATE| LPAR| LEU| LES| LBRACKET| LBRACE| INT of string| INFER| IF| IDENT of string| HEXA of string| GTU| GTS| GOTO| GEU| GES| FROMFILE| FROM| FREE| FLAGTAG| FLAG| FILE| FALSE| EXTU| EXTS| EXEC| EQUAL| EOF| ENUMERATE| ENTRYPOINT| END| ELSE| DOTDOT| DOT| CUT| CONSTANT| CONSEQUENT| CONCAT| COMMA| COLON| CALLFLAG| BIN of string| BEGIN| AT| ASSUME| ASSIGN| ASSERT| AS| ARROWINV| ARROW| ANNOT| AND| ALTERNATIVE| ALTERNATEval patchmap :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Binstream.t Virtual_address.Map.tval instruction_eof :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Dba_types.Instruction.tval initialization :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Parse_helpers.Initialization.t listval expr_eof :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Dba_types.Expr.tval directives :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Directive.t listval dhunk_substitutions_eof :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
(Loader_utils.Binary_loc.t * Dhunk.t) listval decoder_msg :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
(string * Parse_helpers.Message.Value.t) list
* (Dba.address * Dba_types.Instruction.t) listval decoder_base :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
(string * Parse_helpers.Message.Value.t) listval dba :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Dba_types.programval body :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
(Dba.address * Dba_types.Instruction.t) list