package octez-libs
val table_add_mod_m : int -> Scalar.t array list
val table_add_mod_5 : Scalar.t array list
val table_add_mod_10 : Scalar.t array list
val qplookup : case
val qplookup_two_tables : case
val gates : Plompiler.Csir.Scalar.t list Plonk.Circuit.SMap.t
val tables : Scalar.t array list list
val circuit : Plonk.Circuit.t
val witness : Scalar.t array
val lookup_zero_values : case
val lookup_non_zero_values : case
val lookup_no_public_inputs : case
val lookup_wrong_arith_values : case
val wrong_plookup_values : case
val list : case list
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>