S (mina_block.Mina_block.Internal

type 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

module Stable : sig ... end

val create : 
  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 ->
  t

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

val ledger_proof : t -> Ledger_proof.t option

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

val staged_ledger_diff : t -> Staged_ledger_diff.t