Plonk_dlog_proof (kimchi_backend.Kimchi_backend_common.Plonk_dlog

val tuple15_to_vec : 
  ('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l * 'm * 'n * 'o) ->
  ( 'p,
    Pickles_types.Nat.z Pickles_types.Nat.s Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s )
    Pickles_types.Vector.t

val tuple15_of_vec : 
  ( 'a,
    Pickles_types.Nat.z Pickles_types.Nat.s Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s )
    Pickles_types.Vector.t ->
  'b * 'c * 'd * 'e * 'f * 'g * 'h * 'i * 'j * 'k * 'l * 'm * 'n * 'o * 'p

val tuple6_to_vec : 
  ('a * 'b * 'c * 'd * 'e * 'f) ->
  ( 'g,
    Pickles_types.Nat.z Pickles_types.Nat.s Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s )
    Pickles_types.Vector.t

val tuple6_of_vec : 
  ( 'a,
    Pickles_types.Nat.z Pickles_types.Nat.s Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s )
    Pickles_types.Vector.t ->
  'b * 'c * 'd * 'e * 'f * 'g

module type Stable_v1 = sig ... end

module type Inputs_intf = sig ... end

module Challenge_polynomial : sig ... end

module Make (Inputs : Inputs_intf) : sig ... end