Core.drop_key: def of bend-schema-lib@0.4.1.0
Import: import bend-schema-lib@0.4.1.0/core.bend as Core
Lines 282-288 of bend-schema-lib@0.4.1.0/core.bend: https://jend.leeeet.dev/read.txt?path=bend-schema-lib@0.4.1.0/core.bend&start_line=282&end_line=288

import Base

# The object r without its first key k (what lookup(k, r) reads).
def drop_key(+k: String, r: Raw) -> Raw:
  match r:
    case RKey{+j, +v, +o}:
      pick_raw(String.eq(j, k), o, RKey{j, v, drop_key(k, o)})
    case x:
      x

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Raw
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=pick_raw