~/jendhub

def peek_found

bend-collections@1.0.0.0 · src/containers/binary_heap.bend:231

import bend-collections@1.0.0.0/src/containers/binary_heap.bend as BinaryHeap
import Base
import bend-collections@1.0.0.0/src/containers/types/binary_heap.bend as E

231def peek_found(~A: Data, size: Nat, n: U32, depth: Nat, cap: U32, r: Array<Maybe<&2, A>> & Maybe<&2, A>) -> Heap<A> & Result<&2, &2, E.Error, A>:
232  (arr, m) = r
233  (BH{size, n, depth, cap, arr}, item_of(~A, m))

Uses (10)

Used by (1)