package tezos-protocol-017-PtNairob

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Alpha_context.Dal`Source

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