Menhir_parser.Incremental
val config : Prelude.Lexing.position -> Types.config MenhirInterpreter.checkpoint