Module Cases.LookupSource

Sourceval table_add_mod_m : int -> Scalar.t array list
Sourceval table_add_mod_5 : Scalar.t array list
Sourceval table_add_mod_10 : Scalar.t array list
Sourceval qplookup : case
Sourceval qplookup_two_tables : case
Sourceval wires : int list array
Sourceval gates : Plompiler.Csir.Scalar.t list Plonk.SMap.t
Sourceval tables : Scalar.t array list list
Sourceval circuit : Plonk.Circuit.t
Sourceval witness : Scalar.t array
Sourceval lookup_zero_values : case
Sourceval lookup_non_zero_values : case
Sourceval lookup_no_public_inputs : case
Sourceval lookup_wrong_arith_values : case
Sourceval wrong_plookup_values : case
Sourceval list : case list