def s21

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/step.bend as Step

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C

54def s21(+one: Nat) -> Nat:
55  C.shift(21n, one)

Uses (2)