def T
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/consts.bend as Constsimport Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C
20def T(+one: Nat) -> Nat:
21 C.shift(256n, one)
Uses (2)
Used by (0)
No other definition uses this definition.