def set_right

bend-collections@1.0.0.0 · src/containers/balanced_search_tree.bend:787

import Base

787def set_right(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, m: TreeMap<K, V, cmp>, +id: Nat, +v: Nat) -> TreeMap<K, V, cmp>:
788  match m id:
789    case mm 0n:
790      mm
791    case TM{n, root, lo, hi, free, nodes, payloads} 1n+i:
792      TM{n, root, lo, hi, free, ns_set_right(~K, nodes, i, v), payloads}