Module Composition_types.Bulletproof_challenge

module Stable : sig ... end
type 'a t = 'a Stable.V1.t = {
prechallenge : 'a;
}
val to_yojson : ( 'a -> Yojson.Safe.t ) -> 'a t -> Yojson.Safe.t
val of_yojson : ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'a t Ppx_deriving_yojson_runtime.error_or
include Ppx_sexp_conv_lib.Sexpable.S1 with type 'a t := 'a 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 : ( 'a -> 'a -> int ) -> 'a t -> 'a t -> int
val hash_fold_t : ( Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> 'a t -> Ppx_hash_lib.Std.Hash.state
val equal : ( 'a -> 'a -> bool ) -> 'a t -> 'a t -> bool
val pack : 'a t -> 'a
val unpack : 'a -> 'a t
val map : 'a t -> f:( 'a -> 'b ) -> 'b t