def sh

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/curve25519/limbs.bend:25

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

25# 2^(8 len(xs)) x
26def sh(xs: List<&2, U32>, +x: Nat) -> Nat:
27  match xs:
28    case Nil{}:
29      x
30    case Con{h, t}:
31      C.shift(8n, sh(t, x))