def big.of.nat

yaml-for-bend@0.1.1.0 · num.bend:53

import yaml-for-bend@0.1.1.0/num.bend as Num
import Base

53# A Nat that fits, as a big number.
54def big.of.nat(+n: Nat) -> List<&2, Nat>:
55  big.trim(List.reverse(&2, Nat, big.chars(Nat.show(n))))

Uses (6)

Used by (1)