erg 0.6.53

The Erg programming language
Documentation
1
2
3
a as Int or Str or NoneType = 1
f _: Nat or NoneType or Str = None
f a # ERR