def Map.pop.leaf

Base · base.bend:2966

2966def Map.pop.leaf(a, -V: Kind(a), v: V, r: (String & String) & Cmp) ->
2967  Map<a, V> & Maybe<a, V>:
2968  ((key2, k2), c) = r
2969  match c:
2970    case EQ{}:
2971      (MTip{}, Some{v})
2972    case o:
2973      (MLeaf{k2, v}, None{})