Dal (tezos-protocol-alpha.Tezos_raw_protocol_alpha.Alpha

module Parameters : sig ... end

type cryptobox

val make : 
  context ->
  (context * cryptobox) Tezos_protocol_environment_alpha.Error_monad.tzresult

val make_cryptobox : 
  Parameters.t ->
  cryptobox Tezos_protocol_environment_alpha.Error_monad.tzresult

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

val committee_level_of : 
  t ->
  attested_level:Raw_level.t ->
  lag:int ->
  Raw_level.t option

module Slot_index : sig ... end

This module re-exports definitions from Dal_slot_index_repr.

module Attestations : sig ... end

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

module Attestation : sig ... end

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

module Slot_availability : sig ... end

See Dal_attestation_repr.Slot_availability.

type slot_id = {

}

module Page : sig ... end

module Slot : sig ... end

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