package tezos-protocol-020-PsParisC

  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.

type slot_index = Dal_slot_index_repr.t
module Index : sig ... end

Encoding for page contents.

type t = {
  1. slot_id : Header.id;
  2. page_index : Index.t;
}

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

val equal : t -> t -> bool

equal function for values of type t.

encoding for values of type t.

encoding for values of type proof.

pretty-printer for values of type t.

OCaml

Innovation. Community. Security.