def other
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
97# the walk that finds it, one line at a time
98def other(+ours: String, ls: List<&2, String>) -> String:
99 match ls:
100 case []:
101 ""
102 case +h <> t:
103 other.step(Bool.and(is_name(h), Bool.not(String.eq(ours, h))), h,
104 _u => other(ours, t))