def has

ezx@1.11.0.0 · src/doctor/plan.bend:267

import Base

267# whether a list holds this string
268def has(ss: List<&2, String>, +want: String) -> Bool:
269  match ss:
270    case []:
271      False{}
272    case +h <> t:
273      has.step(String.eq(h, want), _u => has(t, want))