Gf128.Gf128: type of bend-osdev-gf@0.1.1.0
Import: import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128
Lines 22-23 of bend-osdev-gf@0.1.1.0/gf128.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-gf@0.1.1.0/gf128.bend&start_line=22&end_line=23

import Base

type Gf128 is Data:
  Gf128{w0: U32, w1: U32, w2: U32, w3: U32}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32