def Map.set.fin.go

Base · base.bend:2850

import Base

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

Uses (8)

Used by (7)