Module Dal_slot_repr.Page

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 = Mavryk_protocol_environment_alpha.Bytes.t
type slot_index = Dal_slot_index_repr.t
module Index : sig ... end
val content_encoding : content Mavryk_protocol_environment_alpha.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.