def Map.set.go

Base · base.bend:2865

2865def Map.set.go(
2866  a, -V: Kind(a), x: V, r: Map<a, V> & String & Maybe<&2, String>
2867) -> Map<a, V>:
2868  (m2, key2, found) = r
2869  match found:
2870    case None{}:
2871      MLeaf{key2, x}
2872    case Some{k}:
2873      +ka = {key2 : String}
2874      Map.set.fin(a, V, m2, ka, x, ka, k)