TableParser.IncrementalSourceval script_command :
Lexing.position ->
(Environment.env -> Value.value option * Environment.env) option
MenhirInterpreter.checkpointval interactive_command :
Lexing.position ->
(Environment.env ->
Value.value option * Environment.env)
MenhirInterpreter.checkpoint