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

import Base

def Map.get.leaf(-V: Data, d: V, +v: V, r: (String & String) & Cmp) ->
  Map<&2, V> & V:
  ((key2, k2), c) = r
  match c:
    case EQ{}:
      (MLeaf{k2, v}, v)
    case o:
      (MLeaf{k2, v}, d)

Uses (5):
  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=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