Statement (pickles.Composition_types.Wrap.Statement)

module Stable : sig ... end

type ('plonk, 'scalar_challenge, 'fp, 'messages_for_next_wrap_proof, 'digest, 'messages_for_next_step_proof, 'bp_chals, 'index)
  t =
  ( 'plonk,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    Stable.Latest.t =
  {

proof_state : ( 'plonk,
                'scalar_challenge,
                'fp,
                'messages_for_next_wrap_proof,
                'digest,
                'bp_chals,
                'index )
                Proof_state.t;

messages_for_next_step_proof : 'messages_for_next_step_proof;

}

val to_yojson : 
  ( 'plonk -> Yojson.Safe.t ) ->
  ( 'scalar_challenge -> Yojson.Safe.t ) ->
  ( 'fp -> Yojson.Safe.t ) ->
  ( 'messages_for_next_wrap_proof -> Yojson.Safe.t ) ->
  ( 'digest -> Yojson.Safe.t ) ->
  ( 'messages_for_next_step_proof -> Yojson.Safe.t ) ->
  ( 'bp_chals -> Yojson.Safe.t ) ->
  ( 'index -> Yojson.Safe.t ) ->
  ( 'plonk,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  Yojson.Safe.t

val of_yojson : 
  ( Yojson.Safe.t -> 'plonk Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'scalar_challenge Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'fp Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t ->
    'messages_for_next_wrap_proof Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'digest Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t ->
    'messages_for_next_step_proof Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'bp_chals Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'index Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'plonk,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t
    Ppx_deriving_yojson_runtime.error_or

val compare : 
  ( 'plonk -> 'plonk -> int ) ->
  ( 'scalar_challenge -> 'scalar_challenge -> int ) ->
  ( 'fp -> 'fp -> int ) ->
  ( 'messages_for_next_wrap_proof -> 'messages_for_next_wrap_proof -> int ) ->
  ( 'digest -> 'digest -> int ) ->
  ( 'messages_for_next_step_proof -> 'messages_for_next_step_proof -> int ) ->
  ( 'bp_chals -> 'bp_chals -> int ) ->
  ( 'index -> 'index -> int ) ->
  ( 'plonk,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  ( 'plonk,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  int

val sexp_of_t : 
  ( 'plonk -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'scalar_challenge -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'fp -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'messages_for_next_wrap_proof -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'digest -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'messages_for_next_step_proof -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'bp_chals -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'index -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'plonk,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  Ppx_sexp_conv_lib.Sexp.t

val t_of_sexp : 
  ( Ppx_sexp_conv_lib.Sexp.t -> 'plonk ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'scalar_challenge ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'fp ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'messages_for_next_wrap_proof ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'digest ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'messages_for_next_step_proof ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'bp_chals ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'index ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'plonk,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t

val hash_fold_t : 
  ( Ppx_hash_lib.Std.Hash.state -> 'plonk -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'scalar_challenge ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'fp -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'messages_for_next_wrap_proof ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'digest -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'messages_for_next_step_proof ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'bp_chals -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'index -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'plonk,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  Ppx_hash_lib.Std.Hash.state

val equal : 
  ( 'plonk -> 'plonk -> bool ) ->
  ( 'scalar_challenge -> 'scalar_challenge -> bool ) ->
  ( 'fp -> 'fp -> bool ) ->
  ( 'messages_for_next_wrap_proof -> 'messages_for_next_wrap_proof -> bool ) ->
  ( 'digest -> 'digest -> bool ) ->
  ( 'messages_for_next_step_proof -> 'messages_for_next_step_proof -> bool ) ->
  ( 'bp_chals -> 'bp_chals -> bool ) ->
  ( 'index -> 'index -> bool ) ->
  ( 'plonk,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  ( 'plonk,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  bool

module Minimal : sig ... end

module In_circuit : sig ... end

val to_minimal : 
  ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) In_circuit.t ->
  to_option:
    ( 'd ->
      ( 'b, 'c ) Proof_state.Deferred_values.Plonk.In_circuit.Lookup.t option ) ->
  ( 'a, 'b, 'c, 'e, 'f, 'g, 'h, 'i ) Minimal.t