def dfind

bend-collections@1.0.0.0 · src/containers/lru.bend:259

import Base
import bend-collections@1.0.0.0/src/containers/hash_table.bend as H

259def dfind(fuel: Nat, s: DStep, +mask: U32, +l: U32, +i: U32) -> Array<U32>:
260  match fuel s:
261    case 0n DHit{tab}:
262      tab
263    case 0n DNext{tab}:
264      tab
265    case 1n+p DHit{tab}:
266      H.del_at(tab, mask, i)
267    case 1n+p DNext{tab}:
268      +j = H.bnext(i, mask)
269      dfind(p, dstep(tab, j, l), mask, l, j)