Data_parser.Incrementalval type_alone :
Stdlib.Lexing.position ->
(AcgData.Signature.Data_Signature.t ->
Logic.Lambda.Lambda.stype)
MenhirInterpreter.checkpointval term_alone :
Stdlib.Lexing.position ->
(AcgData.Signature.Data_Signature.t ->
Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stype)
MenhirInterpreter.checkpointval sig_entry_eoi :
Stdlib.Lexing.position ->
(AcgData.Signature.Data_Signature.t ->
AcgData.Signature.Data_Signature.t)
MenhirInterpreter.checkpointval main :
Stdlib.Lexing.position ->
(?overwrite:bool ->
no_magic:bool ->
filename:string ->
AcgData.Environment.Environment.t ->
AcgData.Environment.Environment.t)
MenhirInterpreter.checkpointval lex_entry_eoi :
Stdlib.Lexing.position ->
(AcgData.Acg_lexicon.Data_Lexicon.t ->
AcgData.Acg_lexicon.Data_Lexicon.t)
MenhirInterpreter.checkpoint