package tezos-protocol-016-PtMumbai

  1. Overview
  2. Docs
package tezos-protocol-016-PtMumbai
Legend:
Library
Module
Module type
Parameter
Class
Class type

Only one slot header is accepted per slot index. If two slots headers are included into a block, the second one will fail.

Consequently, we rely on the order of operations which is done thanks to the fee market.

This is encapsulated in the following module.

type t

Represent the fee market for a list of slots.

val init : length:int -> t

init ~length encodes a list of length slots without candidates.

val length : t -> int

length t returns the length provided at initialisation time (see init).

val register : t -> Header.t -> (t * bool) option

register t index fees updates the candidate associated to index index. Returns Some (_, true) if the candidate is registered. Returns Some (_, false) otherwise. Returns None if the index is not in the interval 0;length where length is the value provided to the init function.

val candidates : t -> Header.t list

candidates t returns a list of slot header candidates.

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