package tezos-protocol-016-PtMumbai

  1. Overview
  2. Docs
package tezos-protocol-016-PtMumbai
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 content = Tezos_protocol_environment_016_PtMumbai.Bytes.t
type slot_index = Index.t
module Index : sig ... end
val content_encoding : content Tezos_protocol_environment_016_PtMumbai.Data_encoding.t

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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct