def digit(self, text): """digit = ? get_digit ? ;""" self._attempting(text) return PB.get_digit(text).retyped(TokenType.digit)
def digit(self, text): """digit = ? get_digit ? ;""" self._attempting(text) return PB.get_digit(text)