def AP.get_top

bend-osdev-array@0.1.0.1 · PROOF.bend:587

import bend-osdev-array@0.1.0.1/PROOF.bend as PROOF

import Base

587def AP.get_top(-T: Data, +t: AP.Tree<T>, i: U32) -> T:
588  +n = AP.size(T, t)
589  +j = AP.mask(n, i)
590  AP.get_v(T, t, n, j, AP.z(n, j))

Uses (6)

Used by (8)