def view_remove_checked

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

import Base

1807def view_remove_checked(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, m: TreeMap<K, V, cmp>, +k: K, lower: Bound<K>, upper: Bound<K>, +descending: Bool, +valid: Bool) -> View<K, V, cmp> & Maybe<&2, V>:
1808  match valid:
1809    case True{}:
1810      view_value(~K, ~V, ~cmp, lower, upper, descending, remove(~K, ~V, ~cmp, m, k))
1811    case False{}:
1812      (View{m, lower, upper, descending}, None{})