def mul_bytes

bend-collections-laws-crypto@1.0.0.0 · src/crypto/aes/gcm.bend:54

import Base

54def mul_bytes(xs: List<&2, U32>, acc: Acc) -> Acc:
55  match xs:
56    case Nil{}:
57      acc
58    case x <> rest:
59      mul_bytes(rest, mul_byte(x, acc))