Nat.show: def of Base
Import: import Base
Lines 2293-2295 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=2293&end_line=2295

import Base

def Nat.show(n: Nat) -> String:
  +m = n
  Nat.show.fin(m, SNil{}, Nat.show.put(Nat.divmod(m, 10n)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.divmod
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show.fin
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show.put
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String