package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

A DAL slot is decomposed to a successive list of pages with fixed content size. The size is chosen so that it's possible to inject a page in a Tezos L1 operation if needed during the proof phase of a refutation game.

module Index : sig ... end
type t = {
  1. slot_index : slot_index;
  2. page_index : Index.t;
}

A page is identified by its slots index and by its own index in the list of pages of the slot.

val equal : t -> t -> bool
OCaml

Innovation. Community. Security.