def NW

import lawful-bytes@0.1.1.0/proof_fast_append.bend as ProofFastAppend

import Base

1207def NW(+ld: U32, +n: U32) -> Nat:
1208  U32.to_nat(U32.shrn(U32.add(NPw(ld, n), 3), 2n))

Uses (6)