Gcm.step: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/aes/gcm.bend as Gcm
Lines 42-45 of bend-collections@1.0.0.0/src/crypto/aes/gcm.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/aes/gcm.bend&start_line=42&end_line=45

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/aes/gcm.bend&name=Acc
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/aes/gcm.bend&name=add_masked
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/aes/gcm.bend&name=mulx