Integrated_test.Output_hashtype value = Snark_params.Tick.Field.tval value_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> valueval sexp_of_value : value -> Ppx_sexp_conv_lib.Sexp.ttype t = valueval t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tval sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.ttype var = Random_oracle.Checked.Digest.tval typ : ( var, value ) Snark_params.Tick.Typ.tval hash :
constraint_constants:'a ->
Message.value ->
Pasta_bindings.Pallas.t ->
Random_oracle.Digest.tmodule Checked : sig ... end