Slot (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Alpha

module Commitment : sig ... end

This module re-exports definitions from Dal_slot_repr.Header.

module Commitment_proof : sig ... end

module Header : sig ... end

val register_slot_header : 
  context ->
  Header.t ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult

val find_slot_headers : 
  context ->
  Raw_level.t ->
  Header.t list option Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val finalize_current_slot_headers : 
  context ->
  context Mavryk_protocol_environment_alpha.Lwt.t

val finalize_pending_slot_headers : 
  context ->
  number_of_slots:int ->
  (context * Attestation.t)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val compute_attested_slot_headers : 
  is_slot_attested:(Header.t -> bool) ->
  Header.t list ->
  Header.t list * Attestation.t