Evaluation (consensus.Consensus_vrf.Standalone.Evaluation)

type t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

type var

val typ : ( var, t ) Snark_params.Tick.Typ.t

val create : 
  Private_key.t ->
  ( Mina_wire_types.Mina_numbers.Global_slot.V1.t,
    Mina_base.Epoch_seed.t,
    Mina_base.Account.Index.t )
    Message.t ->
  t

val verified_output : t -> Context.t -> Snark_params.Tick.Field.t option

module Checked : sig ... end