Output_hash (consensus.Consensus_vrf.Output

module Stable : sig ... end

type t = Stable.Latest.t

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val compare : t -> t -> int

type var = Random_oracle.Checked.Digest.t

val hash : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Message.value ->
  Pasta_bindings.Pallas.t ->
  Random_oracle.Digest.t

module Checked : sig ... end