package tezos-protocol-019-PtParisB

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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_019_PtParisB.Bytes.t

type slot_index = Dal_slot_index_repr.t

val pages_per_slot : 
  Tezos_protocol_environment_019_PtParisB.Dal.parameters ->
  int

module Index : sig ... end

val content_encoding : 
  content Tezos_protocol_environment_019_PtParisB.Data_encoding.t

Encoding for page contents.

type t = {

slot_id : Header.id;
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.

type proof = Tezos_protocol_environment_019_PtParisB.Dal.page_proof

val equal : t -> t -> bool

equal function for values of type t.

val encoding : t Tezos_protocol_environment_019_PtParisB.Data_encoding.t

encoding for values of type t.

val proof_encoding : 
  proof Tezos_protocol_environment_019_PtParisB.Data_encoding.t

encoding for values of type proof.

val pp : Tezos_protocol_environment_019_PtParisB.Format.formatter -> t -> unit

pretty-printer for values of type t.