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

import Base

def Map.get.go(-V: Data, node: Map<&2, V>, d: V, kb: String & Bool) -> Map<&2, V> & V:
  match node kb:
    case MNode{p, MTip{}, hi} Tuple{key2, False{}}:
      (MNode{p, MTip{}, hi}, d)
    case MNode{p, MLeaf{k, v}, hi} Tuple{key2, False{}}:
      Map.lo(&2, V, V, p, hi, Map.get.leaf(V, d, v, String.cmp(key2, k)))
    case MNode{p, MNode{+q, a, b}, hi} Tuple{key2, False{}}:
      Map.lo(&2, V, V, p, hi, Map.get.go(V, MNode{q, a, b}, d, Map.bit(key2, q)))
    case MNode{p, lo, MTip{}} Tuple{key2, True{}}:
      (MNode{p, lo, MTip{}}, d)
    case MNode{p, lo, MLeaf{k, v}} Tuple{key2, True{}}:
      Map.hi(&2, V, V, p, lo, Map.get.leaf(V, d, v, String.cmp(key2, k)))
    case MNode{p, lo, MNode{+q, a, b}} Tuple{key2, True{}}:
      Map.hi(&2, V, V, p, lo, Map.get.go(V, MNode{q, a, b}, d, Map.bit(key2, q)))
    case m _:
      (m, d)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.bit
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.get.leaf
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.hi
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.lo
  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
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.cmp