def gt.tab

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

import Base
import bend-osdev-array@0.1.0.1/array.bend as A
import bend-osdev-gf@0.1.1.0/gf.bend as G
import bend-osdev-gf@0.1.1.0/tables.bend as T

307def gt.tab(+f: G.Gf8Field, +l: List<&2, U32>) -> T.Gf8Tab:
308  T.Gf8Tab{A.Arrays.of_list(U32, 9n, gt.elist(510n, f, 0n), 0), A.Arrays.of_list(U32, 8n, l, 0)}