Validated (mina_block.Mina

module Stable : sig ... end

type t = Stable.Latest.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 equal : t -> t -> bool

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 equal : t -> t -> bool

val lift : Validation.fully_valid_with_block -> t

val forget : 
  t ->
  Mina_block__Block.Stable.V2.t Mina_base.State_hash.With_state_hashes.t

val remember : t -> Validation.fully_valid_with_block

val delta_block_chain_proof : 
  t ->
  Mina_base.State_hash.t Mina_stdlib.Nonempty_list.t

val valid_commands : 
  t ->
  Mina_base.User_command.Valid.t Mina_base.With_status.t list

val unsafe_of_trusted_block : 
  delta_block_chain_proof:Mina_base.State_hash.t Mina_stdlib.Nonempty_list.t ->
  [ `This_block_is_trusted_to_be_safe of
      Mina_block__Block.Stable.V2.t Mina_base.State_hash.With_state_hashes.t ] ->
  t

val state_hash : t -> Mina_base.State_hash.t

val state_body_hash : t -> Mina_base.State_body_hash.t

val header : t -> Header.t

val body : t -> Staged_ledger_diff.Body.t