def Map.get.leaf

Base · base.bend:2911

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