Unicode.nfc.step: def of bend-kit-unicode@0.1.0.0
Import: import bend-kit-unicode@0.1.0.0/unicode.bend as Unicode
Lines 134-138 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=134&end_line=138

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

# c joins the starter unless a mark between them has class 0 or at least c's class.
def nfc.step(z: Nfc, +c: U32) -> Nfc:
  Nfc{+has, +s, +last, pend, out} = z
  +k = T.ccc(c)
  nfc.try(Bool.and(has, Bool.not(Bool.and(U32.is_ne(last, 0), U32.is_le(k, last)))), has, s, last, pend, out, c, k)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ne
  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=Nfc
  https://jend.leeeet.dev/definition.txt?path=bend-kit-unicode@0.1.0.0/unicode.bend&name=nfc.try