Module Alpha_context.Dal

This module exposes definitions for the data-availability layer.

type parameters = Tezos_protocol_environment_alpha.Dal.parameters = {
  1. redundancy_factor : int;
  2. page_size : int;
  3. slot_size : int;
  4. number_of_shards : int;
}
type cryptobox
val assert_feature_enabled : t -> unit Tezos_protocol_environment_alpha.Error_monad.tzresult
val only_if_feature_enabled : t -> default:(t -> 'a) -> (t -> 'a) -> 'a
val assert_incentives_enabled : t -> unit Tezos_protocol_environment_alpha.Error_monad.tzresult
val only_if_incentives_enabled : t -> default:(t -> 'a) -> (t -> 'a) -> 'a
val assert_dynamic_lag_enabled : t -> unit Tezos_protocol_environment_alpha.Error_monad.tzresult
val only_if_dynamic_lag_enabled : t -> default:(t -> 'a) -> (t -> 'a) -> 'a
module Slot_index : sig ... end

This module re-exports definitions from Dal_slot_index_repr.

module Attestation : sig ... end

This module re-exports definitions from Dal_attestation_repr and Raw_context.Dal.

type slot_id = {
  1. published_level : Raw_level.t;
  2. index : Slot_index.t;
}
module Page : sig ... end
module Slot : sig ... end

This module re-exports definitions from Dal_slot_repr, Dal_slot_storage and Raw_context.Dal.

module Shard_with_proof : sig ... end
module Operations : sig ... end
module Slots_history : sig ... end
module Slots_storage : sig ... end
module Delegate : sig ... end
module Past_parameters : sig ... end