Composition_types (pickles.Composition

module Opt = Pickles_types.Plonk_types.Opt

type ('a, 'b) opt := ( 'a, 'b ) Opt.t

type ('var, 'value, 'field, 'checked) snarky_typ :=
  ( 'var, 'value, 'field, 'checked ) Snarky_backendless.Types.Typ.t

module Digest : sig ... end

module Spec : sig ... end

module Branch_data : sig ... end

module Bulletproof_challenge : sig ... end

module Nvector = Pickles_types.Vector.With_length

module Wrap_bp_vec = Backend.Tock.Rounds_vector

module Step_bp_vec = Backend.Tick.Rounds_vector

module Scalar_challenge = Kimchi_backend_common.Scalar_challenge

module Zero_values : sig ... end

module Wrap : sig ... end

module Step : sig ... end

module Challenges_vector : sig ... end

val index_to_field_elements : 
  'a Pickles_types.Plonk_verification_key_evals.t ->
  g:( 'a -> 'b array ) ->
  'b array