Num.big.digits: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/num.bend as Num
Lines 74-79 of yaml-for-bend@0.1.1.0/num.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/num.bend&start_line=74&end_line=79

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/num.bend&name=digit.char