def big.digits

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

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

import Base

74def big.digits(ds: List<&2, Nat>) -> String:
75  match ds:
76    case Nil{}:
77      ""
78    case Con{d, rest}:
79      SCon{digit.char(d), big.digits(rest)}

Uses (4)

Used by (1)

yaml-for-bend@0.1.1.0/num:big.show