erg_compiler 0.6.3

Centimetre: the Erg compiler
Documentation
1
2
3
class Bytes(bytes):
    def try_new(*b): # -> Result[Nat]
        return Bytes(bytes(*b))