def delete_fix_loop

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

import Base

1726def delete_fix_loop(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, +fuel: Nat, st: TreeMap<K, V, cmp> & DeleteFix) -> TreeMap<K, V, cmp>:
1727  match fuel st:
1728    case 0n Tuple{m, fix}:
1729      black_root(~K, ~V, ~cmp, m)
1730    case 1n+f Tuple{m, DF{x, p, False{}}}:
1731      black_root(~K, ~V, ~cmp, m)
1732    case 1n+f Tuple{m, DF{x, p, True{}}}:
1733      delete_fix_loop(~K, ~V, ~cmp, f, delete_fix_step(~K, ~V, ~cmp, m, x, p))