~/jendhub

def gt.log_lt

bend-osdev-gf@0.1.1.0 · proof_tab.bend:182

import bend-osdev-gf@0.1.1.0/proof_tab.bend as ProofTab
import Base
import bend-osdev-gf@0.1.1.0/gf.bend as G

182def gt.log_lt(+f: G.Gf8Field, +a: U32) -> {Nat.is_lt(G.Gf8.log(f, a), 255n) == True{} : Bool}:
183  gt.log_go_lt(254n, U32.is_eq(1, G.Gf8.elt(a)), f, G.Gf8.elt(a), 1, 0n)

Uses (8)

Used by (1)