def set_red

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

import Base

863def set_red(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, m: TreeMap<K, V, cmp>, +id: Nat, +v: Bool) -> TreeMap<K, V, cmp>:
864  match m id:
865    case mm 0n:
866      mm
867    case TM{n, root, lo, hi, free, nodes, payloads} 1n+i:
868      TM{n, root, lo, hi, free, ns_set_red(~K, nodes, i, v), payloads}