Precomputed (mina_block.Mina_block.Precomputed)

module Proof : sig ... end

module Stable : sig ... end

type t = Stable.Latest.t = {

scheduled_time : Block_time.Time.t;

protocol_state : Mina_state.Protocol_state.value;

protocol_state_proof : Proof.t;

staged_ledger_diff : Staged_ledger_diff.t;

delta_transition_chain_proof : Mina_base.Frozen_ledger_hash.t
                               * Mina_base.Frozen_ledger_hash.t list;

accounts_accessed : (int * Mina_base.Account.t) list;

accounts_created : (Mina_base.Account_id.t * Currency.Fee.t) list;

tokens_used : (Mina_base.Token_id.t * Mina_base.Account_id.t option) list;

}

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

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 of_block : 
  logger:Logger.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  scheduled_time:Block_time.Time.t ->
  staged_ledger:Staged_ledger.t ->
  ( Mina_block__Block.Stable.V2.t, Mina_base.State_hash.State_hashes.t )
    With_hash.t ->
  t