def named

ezmcp@0.1.0.0 · src/openapi.bend:144

import Base

144# whether members have one named `key`
145def named(ps: List<&2, Mem()>, +key: String) -> Bool:
146  match ps:
147    case []:
148      False{}
149    case (+k2, _v) <> rest:
150      or.else(String.eq(k2, key), _u => named(rest, key))