Unicode.order.put: def of bend-kit-unicode@0.1.0.0
Import: import bend-kit-unicode@0.1.0.0/unicode.bend as Unicode
Lines 43-53 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=43&end_line=53

import Base

# Canonical ordering: c, of class k > 0, goes past each mark of a higher class. go says whether acc's head is one.
def order.put(acc: String, go: Bool, +c: U32, +k: U32) -> String:
  match acc:
    case SNil{}:
      SCon{Chr{c}, SNil{}}
    case SCon{Chr{+h}, +t}:
      match go:
        case True{}:
          SCon{Chr{h}, order.put(t, order.gt(t, k), c, k)}
        case False{}:
          SCon{Chr{c}, SCon{Chr{h}, t}}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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
  https://jend.leeeet.dev/definition.txt?path=bend-kit-unicode@0.1.0.0/unicode.bend&name=order.gt