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