sig
  val input :
    Lexing.position ->
    Parse_intf.S.statement option Parse_intf.S.MenhirInterpreter.checkpoint
end