def Map.ins.splice

Base · base.bend:2771

2771def Map.ins.splice(
2772  a, -V: Kind(a), +p: Nat, key: String, x: V, rest: Map<a, V>
2773) -> Map<a, V>:
2774  Map.ins.splice.bit(a, V, x, rest, p, Map.bit(key, p))