Crc.Crc32Spec.finish: def of bend-osdev-crc@0.1.0.0
Import: import bend-osdev-crc@0.1.0.0/crc.bend as Crc
Lines 205-208 of bend-osdev-crc@0.1.0.0/crc.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crc@0.1.0.0/crc.bend&start_line=205&end_line=208

import Base

def Crc32Spec.finish(spec: Crc32Spec, c: U32) -> U32:
  match spec:
    case Crc32Spec{width, poly, init, reflected, xorout}:
      U32.xor(c, xorout)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.xor
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crc@0.1.0.0/crc.bend&name=Crc32Spec