Journal.crc.go: def of bend-kit-journal@0.3.1.0
Import: import bend-kit-journal@0.3.1.0/journal.bend as Journal
Lines 193-198 of bend-kit-journal@0.3.1.0/journal.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-journal@0.3.1.0/journal.bend&start_line=193&end_line=198

import Base

def crc.go(xs: List<&2, U32>, +c: U32) -> U32:
  match xs:
    case Nil{}:
      c
    case Con{+x, t}:
      crc.go(t, crc.bit(8n, (c .^. (x .&. 255 : U32) : U32)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.xor
  https://jend.leeeet.dev/definition.txt?path=bend-kit-journal@0.3.1.0/journal.bend&name=crc.bit