Render.money.group: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/render.bend as Render
Lines 50-55 of cswap-bend-cli@0.1.0.0/render.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/render.bend&start_line=50&end_line=55

import Base

def money.group(r: String, +n: Nat, acc: String) -> String:
  match r:
    case SNil{}:
      acc
    case SCon{+c, +t}:
      money.group(t, 1n+n, money.put(Nat.is_gt(n, 0n) && Nat.is_eq(Nat.mod(n, 3n), 0n), c, acc))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_gt
  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=cswap-bend-cli@0.1.0.0/render.bend&name=money.put