def QQ

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

import Base

1204def QQ(+ld: U32, +s: U32, +n: U32) -> U32:
1205  U32.add(s, HH(ld, n))

Uses (3)