Integrated_test.Output_hash
type value = Snark_params.Tick.Field.t
val value_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> value
val sexp_of_value : value -> Ppx_sexp_conv_lib.Sexp.t
type t = value
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
type var = Random_oracle.Checked.Digest.t
val typ : ( var, value ) Snark_params.Tick.Typ.t
val hash :
constraint_constants:'a ->
Message.value ->
Pasta_bindings.Pallas.t ->
Random_oracle.Digest.t
module Checked : sig ... end