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