Module `Tezos_raw_protocol_010_PtGRANAD.Level_repr`Source

Sourcetype t = private {

level : Raw_level_repr.t;
(*
The level of the block relative to genesis. This is also the Shell's notion of level.
*)
level_position : int32;
(*
The level of the block relative to the block that starts the alpha family of protocols.
*)
cycle : Cycle_repr.t;
(*
The current cycle's number. Note that cycles are a protocol-specific notion. As a result, the cycle number starts at 0 with the first block of the first version of protocol alpha.
*)
cycle_position : int32;
(*
The current level of the block relative to the first block of the current cycle.
*)
expected_commitment : bool;

}

Sourcetype level = t

include Tezos_protocol_environment_010_PtGRANAD.Compare.S with type t := level

val (=) : level -> level -> bool

val (<>) : level -> level -> bool

val (<) : level -> level -> bool

val (<=) : level -> level -> bool

val (>=) : level -> level -> bool

val (>) : level -> level -> bool

val compare : level -> level -> int

val equal : level -> level -> bool

val max : level -> level -> level

val min : level -> level -> level

Sourceval encoding : level Tezos_protocol_environment_010_PtGRANAD.Data_encoding.t

Source

val pp : 
  Tezos_protocol_environment_010_PtGRANAD.Format.formatter ->
  level ->
  unit

Source

val pp_full : 
  Tezos_protocol_environment_010_PtGRANAD.Format.formatter ->
  level ->
  unit

Sourceval diff : level -> level -> int32

Sourcetype cycle_era = {

first_level : Raw_level_repr.t;
(*
The first level of a cycle era.
*)
first_cycle : Cycle_repr.t;
(*
The first cycle of a cycle era.
*)
blocks_per_cycle : int32;
(*
The value of the blocks_per_cycle constant used during the cycle era starting with first_level.
*)
blocks_per_commitment : int32;
(*
The value of the blocks_per_commitment constant used during the cycle era starting with first_level.
*)

}

A cycle era is a chunk of cycles having the same number of levels per cycle and the same number of blocks per commitment.

Sourcetype cycle_eras

Stores the cycles eras of the Alpha family of protocols

Source

val cycle_eras_encoding : 
  cycle_eras Tezos_protocol_environment_010_PtGRANAD.Data_encoding.t

Source

val create_cycle_eras : 
  cycle_era list ->
  cycle_eras Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult

Preconditions on the input list of cycle eras:

the list is not empty
the first levels and the first cycles are decreasing, meaning that the first era in the list is the current era, and the last era in the list is the oldest era Invariants:
the first era therefore contains the same constants as in Constants
the first level of an era is the first level of a cycle

Sourceval current_era : cycle_eras -> cycle_era

Returns the current era

Sourceval root_level : cycle_eras -> level

Returns the first level of the oldest era

Source

val from_raw : 
  cycle_eras:cycle_eras ->
  ?offset:int32 ->
  Raw_level_repr.t ->
  level

Returns the annotated level corresponding to a raw level and an offset. A positive offset corresponds to a higher level.

Sourceval first_level_in_cycle : cycle_eras:cycle_eras -> Cycle_repr.t -> level

Returns the first level of the given cycle.

Sourceval last_of_cycle : cycle_eras:cycle_eras -> level -> bool

Returns true if the given level is the last of a cycle.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-010-PtGRANAD.raw/Tezos_raw_protocol_010_PtGRANAD/Level_repr/index.html

Module `Tezos_raw_protocol_010_PtGRANAD.Level_repr`Source

package tezos-protocol-010-PtGRANAD

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-010-PtGRANAD.raw/Tezos_raw_protocol_010_PtGRANAD/Level_repr/index.html

Module Tezos_raw_protocol_010_PtGRANAD.Level_reprSource

Module `Tezos_raw_protocol_010_PtGRANAD.Level_repr`Source