def AP.mask
import bend-osdev-array@0.1.0.1/PROOF.bend as PROOFimport Base
581def AP.mask(+n: U32, i: U32) -> U32:
582 U32.and(i, U32.sub(n, 1))
import bend-osdev-array@0.1.0.1/PROOF.bend as PROOFimport Base
581def AP.mask(+n: U32, i: U32) -> U32:
582 U32.and(i, U32.sub(n, 1))