package tezos-protocol-017-PtNairob

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

This module exposes definitions for the data-availability layer.

Sourcetype parameters = Tezos_protocol_environment_017_PtNairob.Dal.parameters = {

}

Sourcetype cryptobox

val make : 
  context ->
  cryptobox Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult

Sourceval number_of_slots : context -> int

Sourcemodule Slot_index : sig ... end

This module re-exports definitions from Dal_slot_index_repr.

Sourcemodule Attestation : sig ... end

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

Sourcetype slot_id = {

}

Sourcemodule Page : sig ... end

Sourcemodule Slot : sig ... end

Sourcemodule Operations : sig ... end

Sourcemodule Slots_history : sig ... end

Sourcemodule Slots_storage : sig ... end