def Gfm.div

bend-osdev-gf@0.1.1.0 · gfm.bend:101

import bend-osdev-gf@0.1.1.0/gfm.bend as Gfm
import Base

101def Gfm.div(+f: GfmField, a: U32, +b: U32) -> U32:
102  Gfm.mul(f, a, Gfm.inv(f, b))

Uses (4)

Used by (0)

No other definition uses this definition.