Module Alpha_context.Dal

This module exposes definitions for the data-availability layer.

type parameters = Mavryk_protocol_environment_001_PtAtLas.Dal.parameters = {
  1. redundancy_factor : int;
  2. page_size : int;
  3. slot_size : int;
  4. number_of_shards : int;
}
type cryptobox
val number_of_slots : context -> int
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 Operations : sig ... end
module Slots_history : sig ... end
module Slots_storage : sig ... end