def step

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

import Base

42def step(+bit: U32, acc: Acc) -> Acc:
43  match acc:
44    case Acc{z, +v}:
45      Acc{add_masked(bit, z, v), mulx(v)}