pyebnf/parser.py
def number(self, text):
    """number = digit - "0" . {digit} ;"""
    self._attempting(text)
    return concatenation([
      exclusion(
        self.digit,
        "0"
      ),
      zero_or_more(
        self.digit,
        ignore_whitespace=False
      ),
    ], ignore_whitespace=False)(text).compressed(TokenType.number)
def number(self, text):
    """number = digit - "0" . {digit} ;"""
    self._attempting(text)
    return concatenation([
      exclusion(
        self.digit,
        "0"
      ),
      zero_or_more(
        self.digit,
        ignore_whitespace=False
      ),
    ], ignore_whitespace=False)(text).compressed(TokenType.number)
def number ( self , text ) : self . _attempting ( text ) return concatenation ( [ exclusion ( self . digit , "0" ) , zero_or_more ( self . digit , ignore_whitespace = False ) , ] , ignore_whitespace = False ) ( text ) . compressed ( TokenType . number )
number = digit - "0" . {digit} ;
number = digit - 0 . { digit } ;