def AP.set_top

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

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

import Base

592def AP.set_top(-T: Data, +t: AP.Tree<T>, i: U32, v: T) -> AP.Tree<T>:
593  +n = AP.size(T, t)
594  +j = AP.mask(n, i)
595  AP.swap_t(T, t, n, j, v, AP.z(n, j))

Uses (6)

Used by (9)