Emit.hex.text: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/emit.bend as Emit
Lines 46-52 of yaml-for-bend@0.1.1.0/emit.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/emit.bend&start_line=46&end_line=52

import Base

# +n+ in +width+ hex digits.
def hex.text(width: Nat, +n: Nat) -> String:
  match width:
    case 0n:
      ""
    case 1n+k:
      hex.text(k, Nat.div(n, 16n)) ++ SCon{hex.digit(Nat.mod(n, 16n)), SNil{}}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mod
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/emit.bend&name=hex.digit