def set_parent

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

import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTree
import Base

794def set_parent(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, m: TreeMap<K, V, cmp>, +id: Nat, +v: Nat) -> TreeMap<K, V, cmp>:
795  match m id:
796    case mm 0n:
797      mm
798    case TM{n, root, lo, hi, free, nodes, payloads} 1n+i:
799      TM{n, root, lo, hi, free, ns_set_parent(~K, nodes, i, v), payloads}

Uses (4)

Used by (3)