Gf128.Gf128.ghash.go: def of bend-osdev-gf@0.1.2.0
Import: import bend-osdev-gf@0.1.2.0/gf128.bend as Gf128
Lines 149-154 of bend-osdev-gf@0.1.2.0/gf128.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-gf@0.1.2.0/gf128.bend&start_line=149&end_line=154

import Base

def Gf128.ghash.go(xs: List<&2, Gf128>, +h: Gf128, y: Gf128) -> Gf128:
  match xs:
    case Nil{}:
      y
    case Con{x, rest}:
      Gf128.ghash.go(rest, h, Gf128.ghash_update(h, y, x))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.2.0/gf128.bend&name=Gf128
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.2.0/gf128.bend&name=Gf128.ghash_update