StringEquality.equal_walk: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/string_equality.bend as StringEquality
Lines 3-9 of bendvy-ecs-core@0.1.0.3/string_equality.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/string_equality.bend&start_line=3&end_line=9

import Base

# Experimental exact codepoint equality. No ordering or reconstructed input pair.
def equal_walk(a: String,b: String,same: Bool) -> Bool:
  match a b:
    case SNil{} SNil{}: same
    case SNil{} SCon{_,_}: False{}
    case SCon{_,_} SNil{}: False{}
    case SCon{a,as} SCon{b,bs}: equal_walk(as,bs,Bool.and(same,Char.is_eq(a,b)))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String