def Nat.show.fin

Base · base.bend:2278

2278def Nat.show.fin(g: Nat, acc: String, dq: Char & Nat) -> String:
2279  (d, q) = dq
2280  match q:
2281    case 0n:
2282      SCon{d, acc}
2283    case 1n+p:
2284      Nat.show.go(g, 1n+p, SCon{d, acc})