def NPw

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

import Base

1201def NPw(+ld: U32, +n: U32) -> U32:
1202  U32.sub(n, HH(ld, n))

Uses (3)