bend-osdev-gf@0.1.1.0 · gfm.bend:11
import bend-osdev-gf@0.1.1.0/gfm.bend as Gfm
import Base 11type GfmField is Data: 12 GfmField{m: Nat, poly: U32}