base.Nat

read .str: imm base.Str, // from base._MathOps/1
read .hash(hasher: mut base.Hasher): imm base.Void, // from base._MathOps/1
read .float: imm base.Float, // from base._MathOps/1
imm <=(n: imm base.Nat): imm base.Bool, // from base._MathOps/1
imm **(n: imm base.Nat): imm base.Nat, // from base._IntOps/1
imm ==(n: imm base.Nat): imm base.Bool, // from base._MathOps/1
imm >=(n: imm base.Nat): imm base.Bool, // from base._MathOps/1
imm >(n: imm base.Nat): imm base.Bool, // from base._MathOps/1
imm .shiftRight(n: imm base.Nat): imm base.Nat, // from base._IntOps/1
imm <(n: imm base.Nat): imm base.Bool, // from base._MathOps/1
imm .abs: imm base.Nat, // from base._MathOps/1
imm .assertEq(actual: imm base.Nat, message: imm base.Str): imm base.Void, // from base._MathOps/1
imm .assertEq(actual: imm base.Nat): imm base.Void, // from base._MathOps/1
imm .shiftLeft(n: imm base.Nat): imm base.Nat, // from base._IntOps/1
imm .bitwiseAnd(n: imm base.Nat): imm base.Nat, // from base._IntOps/1
imm /(n: imm base.Nat): imm base.Nat, // from base._MathOps/1
imm .xor(n: imm base.Nat): imm base.Nat, // from base._IntOps/1
read .nat: imm base.Nat, // from base._MathOps/1
imm -(n: imm base.Nat): imm base.Nat, // from base._MathOps/1
read .byte: imm base.Byte, // from base._MathOps/1
imm +(n: imm base.Nat): imm base.Nat, // from base._MathOps/1
imm *(n: imm base.Nat): imm base.Nat, // from base._MathOps/1
imm .bitwiseOr(n: imm base.Nat): imm base.Nat, // from base._IntOps/1
read .int: imm base.Int, // from base._MathOps/1
imm %(n: imm base.Nat): imm base.Nat, // from base._MathOps/1