def view_checked
bend-collections@1.0.0.0 · src/containers/balanced_search_tree.bend:364
import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTree
import Base
364def view_checked(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, m: TreeMap<K, V, cmp>, lower: Bound<K>, upper: Bound<K>, +descending: Bool, +valid: Bool) -> Result<&1, &1, InvalidView<K, V, cmp>, View<K, V, cmp>>:
365 match valid:
366 case True{}:
367 Done{View{m, lower, upper, descending}}
368 case False{}:
369 Fail{InvalidView{m, InvalidBounds{}}}