def Map.put

Base · base.bend:2752

import Base

2752def Map.put(-a: Quant, -V: Kind(a), m: Map<a, V>, key: String, x: V) -> Map<a, V>:
2753  match m:
2754    case MTip{}:
2755      MLeaf{key, x}
2756    case MLeaf{k, v}:
2757      MLeaf{k, x}
2758    case MNode{+pos, lo, hi}:
2759      Map.put.go(a, V, MNode{pos, lo, hi}, x, Map.bit(key, pos))

Uses (4)

Used by (19)