~/jendhub

def Gf8.log

bend-osdev-gf@0.1.1.0 · gf.bend:173

import bend-osdev-gf@0.1.1.0/gf.bend as Gf
import Base

173def Gf8.log(+f: Gf8Field, a: U32) -> Nat:
174  +e = Gf8.elt(a)
175  Gf8.log.go(254n, U32.is_eq(1, e), f, e, 1, 0n)

Uses (6)

Used by (102)