type token = | VALID| VAL| USE| UNKNOWN| UNDERSCORE| TYPE| TRANSFORM| TIMEOUT| TIME| THEORY| SYNTAX| STRING of string| STEPS| STEPLIMITEXCEEDED| RIGHTSQ_QUOTE of string| RIGHTSQ| RIGHTPAR_QUOTE of string| RIGHTPAR| REMOVE| QUOTE| PROP| PRINTER| PRELUDE| PREDICATE| PLUGIN| OVERRIDING| OUTOFMEMORY| OPERATOR of string| MODULE| MODEL_PARSER| META| LITERAL| LEFTSQ| LEFTPAR| LARROW| INVALID| INTERFACE| INTEGER of int| INPUT of string| IDENT of string| FUNCTION| FILENAME| FAIL| EXCEPTION| EOF| END| DOTDOT| DOT| CONSTANT| COMMA| BLACKLIST| ALLval file_extract :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Driver_ast.file_extractval file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Driver_ast.filemodule MenhirInterpreter : sig ... endmodule Incremental : sig ... end