Module Stable.V1

type 'challenge t = 'challenge Mina_wire_types.Pickles_bulletproof_challenge.V1.t = {
prechallenge : 'challenge;
}
val to_yojson : ( 'challenge -> Yojson.Safe.t ) -> 'challenge t -> Yojson.Safe.t
val of_yojson : ( Yojson.Safe.t -> 'challenge Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'challenge t Ppx_deriving_yojson_runtime.error_or
include Ppx_sexp_conv_lib.Sexpable.S1 with type 'challenge t := 'challenge t
val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> Sexplib0__.Sexp.t -> 'a t
val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> 'a t -> Sexplib0__.Sexp.t
val compare : ( 'challenge -> 'challenge -> int ) -> 'challenge t -> 'challenge t -> int
val hash_fold_t : ( Ppx_hash_lib.Std.Hash.state -> 'challenge -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> 'challenge t -> Ppx_hash_lib.Std.Hash.state
val equal : ( 'challenge -> 'challenge -> bool ) -> 'challenge t -> 'challenge t -> bool
include Bin_prot.Binable.S1 with type 'challenge t := 'challenge t
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_t : ( 'a, 'a t ) Bin_prot.Size.sizer1
val bin_write_t : ( 'a, 'a t ) Bin_prot.Write.writer1
val bin_read_t : ( 'a, 'a t ) Bin_prot.Read.reader1
val __bin_read_t__ : ( 'a, int -> 'a t ) Bin_prot.Read.reader1
val bin_writer_t : ( 'a, 'a t ) Bin_prot.Type_class.S1.writer
val bin_reader_t : ( 'a, 'a t ) Bin_prot.Type_class.S1.reader
val bin_t : ( 'a, 'a t ) Bin_prot.Type_class.S1.t
include Pickles_types.Sigs.VERSIONED
val version : int
val __versioned__ : unit