Messages (pickles_types.Pickles_types.Plonk

module Poly : sig ... end

module Lookup : sig ... end

module Stable : sig ... end

type 'g t = 'g Stable.V2.t = {

w_comm : 'g Poly_comm.Without_degree_bound.t Columns_vec.t;

z_comm : 'g Poly_comm.Without_degree_bound.t;

t_comm : 'g Poly_comm.Without_degree_bound.t;

lookup : 'g Poly_comm.Without_degree_bound.t Lookup.t option;

}

module In_circuit : sig ... end

val typ : 
  (module Snarky_backendless.Snark_intf.Run with type field = 'f) ->
  ( 'a, 'b, 'f ) Snarky_backendless.Typ.t ->
  Lookup_config.t ->
  dummy:'b ->
  commitment_lengths:( ( int, 'n ) Vector.vec, int, int ) Poly.t ->
  bool:( 'c, bool, 'f ) Snarky_backendless.Typ.t ->
  ( ( 'a, 'f Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t )
      In_circuit.t,
    'b t,
    'f )
    Snarky_backendless.Typ.t