def Map.ins.splice.bit

Base · base.bend:2761

import Base

2761def Map.ins.splice.bit(
2762  a, -V: Kind(a), x: V, rest: Map<a, V>, pb: Nat, kb: String & Bool
2763) -> Map<a, V>:
2764  (key2, b) = kb
2765  match b:
2766    case False{}:
2767      MNode{pb, MLeaf{key2, x}, rest}
2768    case True{}:
2769      MNode{pb, rest, MLeaf{key2, x}}

Uses (6)

Used by (5)