def view_entry_checked

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

import Base

451def view_entry_checked(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, m: TreeMap<K, V, cmp>, lower: Bound<K>, upper: Bound<K>, +descending: Bool, entry: Entry<K, V>, +valid: Bool) -> View<K, V, cmp> & Maybe<&2, Entry<K, V>>:
452  match valid:
453    case True{}:
454      (View{m, lower, upper, descending}, Some{entry})
455    case False{}:
456      (View{m, lower, upper, descending}, None{})