sig   exception Error   val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> statement list   val input : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> statement option   module MenhirInterpreter :     sig       type token = token       type env       type production       type 'a checkpoint = private           InputNeeded of env         | Shifting of env * env * bool         | AboutToReduce of env * production         | HandlingError of env         | Accepted of 'a         | Rejected       val offer :         'a checkpoint ->         token * Lexing.position * Lexing.position -> 'a checkpoint       val resume : 'a checkpoint -> 'a checkpoint       type supplier = unit -> token * Lexing.position * Lexing.position       val lexer_lexbuf_to_supplier :         (Lexing.lexbuf -> token) -> Lexing.lexbuf -> supplier       val loop : supplier -> 'a checkpoint -> 'a       val loop_handle :         ('a -> 'answer) ->         ('a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer       val loop_handle_undo :         ('a -> 'answer) ->         ('a checkpoint -> 'a checkpoint -> 'answer) ->         supplier -> 'a checkpoint -> 'answer       val loop_test :         (env -> 'accu -> 'accu) -> 'a checkpoint -> 'accu -> 'accu       val acceptable : 'a checkpoint -> token -> Lexing.position -> bool       type 'a lr1state       val number : 'a lr1state -> int       type element =           Element : 'a lr1state * 'a * Lexing.position *             Lexing.position -> element       type stack = element MenhirLib.General.stream       val stack : env -> stack       val positions : env -> Lexing.position * Lexing.position       val has_default_reduction : env -> bool     end   module Incremental :     sig       val input :         Lexing.position -> statement option MenhirInterpreter.checkpoint     end end