Unicode.nfd.push: def of bend-kit-unicode@0.1.0.0
Import: import bend-kit-unicode@0.1.0.0/unicode.bend as Unicode
Lines 62-68 of bend-kit-unicode@0.1.0.0/unicode.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-unicode@0.1.0.0/unicode.bend&start_line=62&end_line=68

import Base
import bend-kit-unicode@0.1.0.0/tables.bend as T

def nfd.push(d: String, acc: String) -> String:
  match d:
    case SNil{}:
      acc
    case SCon{Chr{+c}, t}:
      +k = T.ccc(c)
      nfd.push(t, nfd.put(U32.is_eq(k, 0), acc, c, k))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-unicode@0.1.0.0/tables.bend&name=ccc
  https://jend.leeeet.dev/definition.txt?path=bend-kit-unicode@0.1.0.0/unicode.bend&name=nfd.put