Minimal (pickles.Composition_types.Wrap.Statement.Minimal)

module Stable : sig ... end

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

val to_yojson : 
  ( 'challenge -> 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 ) ->
  ( 'challenge,
    '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 -> 'challenge 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 ->
  ( 'challenge,
    '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 : 
  ( 'challenge -> 'challenge -> 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 ) ->
  ( 'challenge,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  ( 'challenge,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  int

val sexp_of_t : 
  ( 'challenge -> 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 ) ->
  ( 'challenge,
    '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 -> 'challenge ) ->
  ( 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 ->
  ( 'challenge,
    '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 -> 'challenge -> 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 ->
  ( 'challenge,
    '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 : 
  ( 'challenge -> 'challenge -> 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 ) ->
  ( 'challenge,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  ( 'challenge,
    'scalar_challenge,
    'fp,
    'messages_for_next_wrap_proof,
    'digest,
    'messages_for_next_step_proof,
    'bp_chals,
    'index )
    t ->
  bool