def vec

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/chacha/core.bend:78

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/chacha/core.bend as C

78def vec(+s: C.State) -> List<&2, U32>:
79  [p0(s), p1(s), p2(s), p3(s), p4(s), p5(s), p6(s), p7(s), p8(s), p9(s), p10(s), p11(s), p12(s), p13(s), p14(s), p15(s)]