Grammar.Incremental
val sign : Stdlib.Lexing.position -> ConcreteSyntax.signature MenhirInterpreter.checkpoint
val repl_command : Stdlib.Lexing.position -> ConcreteSyntax.repl_command MenhirInterpreter.checkpoint