~/jendhub

def AP.u32_mask_lt

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

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

947def AP.u32_mask_lt(a: U32, +d: Nat) -> {Nat.is_lt(U32.to_nat(U32.and(a, U32{AP.lm(32n, d)})), A.Arrays.slots(d)) == True{} : Bool}:
948  match a:
949    case U32{w}:
950      AP.mask_lt(32n, w, d)

Uses (9)

Used by (1)