Map.pop.leaf: def of Base
Import: import Base
Lines 2966-2973 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=2966&end_line=2973

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String