def drop.all

ezmcp@0.1.0.0 · src/openapi.bend:411

import ezmcp@0.1.0.0/src/openapi.bend as Openapi

import Base

411# members less every one named by `keys`
412def drop.all(keys: List<&2, String>, ps: List<&2, Mem()>) -> List<&2, Mem()>:
413  match keys:
414    case []:
415      ps
416    case key <> rest:
417      drop.all(rest, drop(ps, key))

Uses (4)

Used by (1)

ezmcp@0.1.0.0/src/openapi:own