Block_header (tezos-protocol-alpha.Tezos_raw_protocol_alpha.Alpha_context.Block

type contents = {

payload_hash : Block_payload_hash.t;
payload_round : Round.t;
seed_nonce_hash : Nonce_hash.t option;
proof_of_work_nonce : bytes;
per_block_votes : Per_block_votes_repr.per_block_votes;

}

type protocol_data = {

contents : contents;
signature : signature;

}

type t = {

shell : Tezos_protocol_environment_alpha.Block_header.shell_header;
protocol_data : protocol_data;

}

type block_header = t

type raw = Tezos_protocol_environment_alpha.Block_header.t

type shell_header = Tezos_protocol_environment_alpha.Block_header.shell_header

type block_watermark =

| Block_header of Tezos_protocol_environment_alpha.Chain_id.t

val to_watermark : 
  block_watermark ->
  Tezos_protocol_environment_alpha.Signature.watermark

val of_watermark : 
  Tezos_protocol_environment_alpha.Signature.watermark ->
  block_watermark option

module Proof_of_work : sig ... end

val raw : block_header -> raw

val hash : block_header -> Tezos_protocol_environment_alpha.Block_hash.t

val hash_raw : raw -> Tezos_protocol_environment_alpha.Block_hash.t

val encoding : 
  block_header Tezos_protocol_environment_alpha.Data_encoding.encoding

val raw_encoding : raw Tezos_protocol_environment_alpha.Data_encoding.t

val contents_encoding : 
  contents Tezos_protocol_environment_alpha.Data_encoding.t

val unsigned_encoding : 
  (shell_header * contents) Tezos_protocol_environment_alpha.Data_encoding.t

val protocol_data_encoding : 
  protocol_data Tezos_protocol_environment_alpha.Data_encoding.encoding

val shell_header_encoding : 
  shell_header Tezos_protocol_environment_alpha.Data_encoding.encoding

val max_header_length : int

The maximum size of block headers in bytes

type Tezos_protocol_environment_alpha.Error_monad.error +=

| Invalid_stamp

val check_timestamp : 
  Round.round_durations ->
  timestamp:Tezos_protocol_environment_alpha.Time.t ->
  round:Round.t ->
  predecessor_timestamp:Tezos_protocol_environment_alpha.Time.t ->
  predecessor_round:Round.t ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult

val check_signature : 
  t ->
  Tezos_protocol_environment_alpha.Chain_id.t ->
  public_key ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult

val begin_validate_block_header : 
  block_header:t ->
  chain_id:Tezos_protocol_environment_alpha.Chain_id.t ->
  predecessor_timestamp:Tezos_protocol_environment_alpha.Time.t ->
  predecessor_round:Round.t ->
  fitness:Fitness.t ->
  timestamp:Tezos_protocol_environment_alpha.Time.t ->
  delegate_pk:public_key ->
  round_durations:Round.round_durations ->
  proof_of_work_threshold:int64 ->
  expected_commitment:bool ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult