Module Mina_block.Header

module Stable : sig ... end
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 create : protocol_state:Mina_state.Protocol_state.Value.t -> protocol_state_proof:Mina_base.Proof.t -> delta_block_chain_proof: (Mina_base.State_hash.t * Mina_base.State_body_hash.t list) -> ?proposed_protocol_version_opt:Protocol_version.t -> ?current_protocol_version:Protocol_version.t -> unit -> t
val protocol_state : t -> Mina_state.Protocol_state.Value.t
val protocol_state_proof : t -> Mina_base.Proof.t
val delta_block_chain_proof : t -> Mina_base.State_hash.t * Mina_base.State_body_hash.t list
val current_protocol_version : t -> Protocol_version.t
val proposed_protocol_version_opt : t -> Protocol_version.t option
type protocol_version_status = {
valid_current : bool;
valid_next : bool;
matches_daemon : bool;
}
val protocol_version_status : t -> protocol_version_status