def SH

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

import Base

1210def SH(+q: U32) -> Nat:
1211  U32.to_nat(U32.shln(U32.and(q, 3), 3n))

Uses (5)