Internal_transition (mina_block.Mina_block.Internal

module type S = sig ... end

module Stable : sig ... end

type t = Stable.Latest.t = {

snark_transition : Mina_state.Snark_transition.Value.t;

ledger_proof : Ledger_proof.t option;

prover_state : Consensus.Data.Prover_state.t;

staged_ledger_diff : Staged_ledger_diff.t;

}

val to_yojson : t -> Yojson.Safe.t

val _ : t -> Yojson.Safe.t

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val staged_ledger_diff : t -> Staged_ledger_diff.t

val prover_state : t -> Consensus.Data.Prover_state.t

val ledger_proof : t -> Ledger_proof.t option

val snark_transition : t -> Mina_state.Snark_transition.Value.t

module Fields : sig ... end

val create : 
  snark_transition:Mina_state.Snark_transition.Value.Stable.V1.t ->
  ledger_proof:Ledger_proof.Stable.V1.t option ->
  prover_state:Consensus.Data.Prover_state.Stable.V1.t ->
  staged_ledger_diff:Staged_ledger_diff.Stable.V1.t ->
  Stable.Latest.t