def iterator_has_checked

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

import Base

833def iterator_has_checked(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, +next: Nat, +current: Nat, +lower: Bound<K>, +upper: Bound<K>, +forward: Bool, r: TreeMap<K, V, cmp> & Node<K>) -> Cursor<K, V, cmp> & Bool:
834  match r:
835    case Tuple{m, Free{free}}:
836      (Cursor{m, next, current, lower, upper, forward}, False{})
837    case Tuple{m, N{c, l, rr, p, key}}:
838      (Cursor{m, next, current, lower, upper, forward}, in_range(~K, ~V, ~cmp, key, lower, upper))