def load

bend-collections-laws-crypto@1.0.0.0 · src/crypto/poly1305/poly1305.bend:34

import Base

34# A message block as limbs: its bytes, then the 0x01 byte.
35def load(b: List<&2, U32>) -> List<&2, U32>:
36  mask(List.append(&2, U32, b, [1]))