Gf.Gf8.log: def of bend-osdev-gf@0.1.1.0
Import: import bend-osdev-gf@0.1.1.0/gf.bend as Gf
Lines 173-175 of bend-osdev-gf@0.1.1.0/gf.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&start_line=173&end_line=175

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8.elt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8.log.go
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8Field