mirror of
https://github.com/erg-lang/erg.git
synced 2025-09-29 20:34:44 +00:00
18 lines
394 B
Python
18 lines
394 B
Python
from _erg_result import Error
|
|
|
|
class Nat(int):
|
|
def try_new(i): # -> Result[Nat]
|
|
if i >= 0:
|
|
return Nat(i)
|
|
else:
|
|
return Error("Nat can't be negative")
|
|
|
|
def times(self, f):
|
|
for _ in range(self):
|
|
f()
|
|
|
|
def saturating_sub(self, other):
|
|
if self > other:
|
|
return self - other
|
|
else:
|
|
return 0
|