class Hex.GFq.CommittedEntry (p n : Nat) [ZMod64.Bounds p] : Type

A committed Conway-table entry available through instance synthesis.

• entry : Conway.SupportedEntry p n

  The verified lookup witness.