sig
  val use_file :
    Stdlib.Lexing.position ->
    Parsetree.toplevel_phrase list Parser.MenhirInterpreter.checkpoint
  val toplevel_phrase :
    Stdlib.Lexing.position ->
    Parsetree.toplevel_phrase Parser.MenhirInterpreter.checkpoint
  val parse_pattern :
    Stdlib.Lexing.position ->
    Parsetree.pattern Parser.MenhirInterpreter.checkpoint
  val parse_expression :
    Stdlib.Lexing.position ->
    Parsetree.expression Parser.MenhirInterpreter.checkpoint
  val parse_core_type :
    Stdlib.Lexing.position ->
    Parsetree.core_type Parser.MenhirInterpreter.checkpoint
  val interface :
    Stdlib.Lexing.position ->
    Parsetree.signature Parser.MenhirInterpreter.checkpoint
  val implementation :
    Stdlib.Lexing.position ->
    Parsetree.structure Parser.MenhirInterpreter.checkpoint
end