language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 12:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add Nat class

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-16 21:11:16 +09:00
parent 2b9e214ac6
commit a565206330
6 changed files with 94 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/erg_compiler/lib/std/_erg_std_prelude.py
View file

@ -16,6 +16,11 @@ def in_operator(x, y):
else:
return x in y
class Nat(int):
def times(self, f):
for _ in range(self):
f()
class Range:
def __init__(self, start, end):
self.start = start