val term_eof :
Stdlib.Lexing.position ->
Ptree.term MenhirInterpreter.checkpointval term_comma_list_eof :
Stdlib.Lexing.position ->
Ptree.term list MenhirInterpreter.checkpointval qualid_eof :
Stdlib.Lexing.position ->
Ptree.qualid MenhirInterpreter.checkpointval qualid_comma_list_eof :
Stdlib.Lexing.position ->
Ptree.qualid list MenhirInterpreter.checkpointval mlw_file_parsing_only :
Stdlib.Lexing.position ->
Ptree.mlw_file MenhirInterpreter.checkpointval mlw_file :
Stdlib.Lexing.position ->
Pmodule.pmodule Wstdlib.Mstr.t MenhirInterpreter.checkpointval ident_comma_list_eof :
Stdlib.Lexing.position ->
Ptree.ident list MenhirInterpreter.checkpointval decl_eof :
Stdlib.Lexing.position ->
Ptree.decl MenhirInterpreter.checkpoint