code: def finished(tokens, s):
      
      if s.pos >= len(tokens):
          return None, s
      else:
          raise NoParseError(u'should have reached <EOF>', s)
docs: Parser(a, None)
  
      Throws an exception if any tokens are left in the input unparsed.