Map.set.fin.go: def of Base
Import: import Base
Lines 2850-2858 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=2850&end_line=2858

import Base

def Map.set.fin.go(
  a, -V: Kind(a), m: Map<a, V>, key: String, x: V, r: (String & String) & Cmp
) -> Map<a, V>:
  ((keyb2, k2), c) = r
  match c:
    case EQ{}:
      Map.put(a, V, m, key, x)
    case o:
      Map.ins(a, V, m, key, x, Map.diff(keyb2, k2))

Uses (8):
  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=Map.diff
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.ins
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.put
  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