Order.string: def of bend-kit-collections@0.1.4.1 Import: import bend-kit-collections@0.1.4.1/order.bend as Order Lines 13-24 of bend-kit-collections@0.1.4.1/order.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-collections@0.1.4.1/order.bend&start_line=13&end_line=24 import Base # Strings in code-point order, a prefix before its extensions. String.order gives # the same answers, but it rebuilds both strings on every call. def string(a: String, b: String) -> Cmp: match a b: case SNil{} SNil{}: EQ{} case SNil{} SCon{h, t}: LT{} case SCon{h, t} SNil{}: GT{} case SCon{Chr{+x}, s} SCon{Chr{+y}, t}: string.fin(U32.cmp(x, y), string(s, t)) 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=Cmp https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.cmp https://jend.leeeet.dev/definition.txt?path=bend-kit-collections@0.1.4.1/order.bend&name=string.fin