package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Voting_period_repr/index.html

Module Tezos_raw_protocol_012_Psithaca.Voting_period_reprSource

Sourcetype kind =
  1. | Proposal
    (*

    protocols can be proposed

    *)
  2. | Exploration
    (*

    a proposal can be voted

    *)
  3. | Cooldown
    (*

    a delay before the second vote of the Promotion period.

    *)
  4. | Promotion
    (*

    activation can be voted

    *)
  5. | Adoption
    (*

    a delay before activation

    *)

The voting period kinds are ordered as follows: Proposal -> Testing_vote -> Testing -> Promotion -> Adoption. This order is the one used be the function succ below.

A voting period can be of several kinds and is uniquely identified by the counter 'index'. The 'start_position' represents the relative position of the first level of the period with respect to the first level of the Alpha family of protocols.

Information about a block with respect to the voting period it belongs to: the voting period, the position within the voting period and the number of remaining blocks till the end of the period. The following invariant is satisfied: `position + remaining + 1 = blocks_per_voting_period`

include Tezos_protocol_environment_012_Psithaca.Compare.S with type t := voting_period
val (=) : voting_period -> voting_period -> bool
val (<>) : voting_period -> voting_period -> bool
val (<) : voting_period -> voting_period -> bool
val (<=) : voting_period -> voting_period -> bool
val (>=) : voting_period -> voting_period -> bool
val (>) : voting_period -> voting_period -> bool
val compare : voting_period -> voting_period -> int
val equal : voting_period -> voting_period -> bool
Sourceval raw_reset : t -> start_position:Tezos_protocol_environment_012_Psithaca.Int32.t -> t

raw_reset period ~start_position increment the index by one and set the kind to Proposal which is the period kind that start the voting process. start_position is the level at wich this voting_period started.

Sourceval raw_succ : t -> start_position:Tezos_protocol_environment_012_Psithaca.Int32.t -> t

raw_succ period ~start_position increment the index by one and set the kind to its successor. start_position is the level at which this voting_period started.