Module Kimchi_backend_common.Scalar_challenge

module Stable : sig ... end
type 'f t = 'f Kimchi_types.scalar_challenge = {
inner : 'f;
}
val to_yojson : ( 'f -> Yojson.Safe.t ) -> 'f t -> Yojson.Safe.t
val of_yojson : ( Yojson.Safe.t -> 'f Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'f t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : ( Ppx_sexp_conv_lib.Sexp.t -> 'f ) -> Ppx_sexp_conv_lib.Sexp.t -> 'f t
val sexp_of_t : ( 'f -> Ppx_sexp_conv_lib.Sexp.t ) -> 'f t -> Ppx_sexp_conv_lib.Sexp.t
val compare : ( 'f -> 'f -> int ) -> 'f t -> 'f t -> int
val equal : ( 'f -> 'f -> bool ) -> 'f t -> 'f t -> bool
val hash_fold_t : ( Base_internalhash_types.state -> 'f -> Base_internalhash_types.state ) -> Base_internalhash_types.state -> 'f t -> Base_internalhash_types.state
val create : 'a -> 'a t
val typ : ( 'a, 'b, 'c ) Snarky_backendless.Typ.t -> ( 'a t, 'b t, 'c ) Snarky_backendless.Typ.t
val map : 'a t -> f:( 'a -> 'b ) -> 'b t