def AP.z
import bend-osdev-array@0.1.0.1/PROOF.bend as PROOFimport Base
584def AP.z(+n: U32, +j: U32) -> Bool:
585 U32.is_lt(j, U32.shr(n))
import bend-osdev-array@0.1.0.1/PROOF.bend as PROOFimport Base
584def AP.z(+n: U32, +j: U32) -> Bool:
585 U32.is_lt(j, U32.shr(n))