def search_probe

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

import bend-collections@1.0.0.0/src/containers/balanced_search_tree.bend as BalancedSearchTree

import Base

801def search_probe(~K: Data, ~V: Data, ~cmp: K -> K -> Cmp, nodes: NodeStore<K>, +id: Nat, +k: K) -> NodeStore<K> & (Nat & Maybe<&2, Cmp>):
802  match id:
803    case 0n:
804      (nodes, (0n, None{}))
805    case 1n+ +i:
806      search_key(~K, ~V, ~cmp, 1n+i, k, ns_key_at(~K, nodes, i))

Uses (8)

Used by (3)