def drop

ezmcp@0.1.0.0 · src/openapi.bend:136

import Base

136# members less every one named `key`, the rest in order
137def drop(ps: List<&2, Mem()>, +key: String) -> List<&2, Mem()>:
138  match ps:
139    case []:
140      []
141    case (+k2, v2) <> rest:
142      drop.at(String.eq(k2, key), k2, v2, drop(rest, key))