def AP.eb_fix

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

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

import Base

1019def AP.eb_fix(+i: U32, +p: Nat, +b: Bool, hd: {Nat.is_lt(1n+p, 32n) == True{} : Bool}, eb: {U32.is_lt(i, U32.shr(U32.shln(1, 1n+p))) == b : Bool}) -> {U32.is_lt(i, U32.shln(1, p)) == b : Bool}:
1020  %AP.shr_shln(p, hd) : {U32.is_lt(i, _) == b : Bool}
1021  eb

Uses (8)

Used by (2)