def Map.pop

Base · base.bend:2993

2993def Map.pop(-a: Quant, -V: Kind(a), m: Map<a, V>, key: String) -> Map<a, V> & Maybe<a, V>:
2994  match m:
2995    case MTip{}:
2996      (MTip{}, None{})
2997    case MLeaf{k, v}:
2998      Map.pop.leaf(a, V, v, String.cmp(key, k))
2999    case MNode{+pos, lo, hi}:
3000      Map.pop.go(a, V, MNode{pos, lo, hi}, Map.bit(key, pos))