Prover_state (consensus.Consensus.Intf.S.Data.Prover

module Stable : sig ... end

type t = Stable.Latest.t

val to_yojson : t -> Yojson.Safe.t

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

val genesis_data : 
  genesis_epoch_ledger:Mina_ledger.Ledger.t Core_kernel.Lazy.t ->
  t

val precomputed_handler : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  genesis_epoch_ledger:Mina_ledger.Ledger.t Core_kernel.Lazy.t ->
  Snark_params.Tick.Handler.t

val handler : 
  t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  pending_coinbase:Mina_base.Pending_coinbase_witness.t ->
  Snark_params.Tick.Handler.t

val ledger_depth : t -> int