Voting_period_repr (p.tezos-protocol-alpha.16.0.doc.tezos-protocol-alpha.raw.Tezos_raw_protocol_alpha.Voting_period

Sourcetype kind =

| Proposal
(*
protocols can be proposed
*)
| Exploration
(*
a proposal can be voted
*)
| Cooldown
(*
a delay before the second vote of the Promotion period.
*)
| Promotion
(*
activation can be voted
*)
| Adoption
(*
a delay before activation
*)

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

Sourceval kind_encoding : kind Tezos_protocol_environment_alpha.Data_encoding.t

Sourcetype voting_period = {

index : Tezos_protocol_environment_alpha.Int32.t;
kind : kind;
start_position : Tezos_protocol_environment_alpha.Int32.t;

}

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.

Sourcetype t = voting_period

Sourcetype info = {

voting_period : t;
position : Tezos_protocol_environment_alpha.Int32.t;
remaining : Tezos_protocol_environment_alpha.Int32.t;

}

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`

Sourceval root : start_position:Tezos_protocol_environment_alpha.Int32.t -> t

include Tezos_protocol_environment_alpha.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

val max : voting_period -> voting_period -> voting_period

val min : voting_period -> voting_period -> voting_period

Sourceval encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval info_encoding : info Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval pp : Tezos_protocol_environment_alpha.Format.formatter -> t -> unit

Sourceval pp_info : Tezos_protocol_environment_alpha.Format.formatter -> info -> unit

Sourceval pp_kind : Tezos_protocol_environment_alpha.Format.formatter -> kind -> unit

Source

val raw_reset : 
  t ->
  start_position:Tezos_protocol_environment_alpha.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.

Source

val raw_succ : 
  t ->
  start_position:Tezos_protocol_environment_alpha.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.

Source

val position_since : 
  Level_repr.t ->
  t ->
  Tezos_protocol_environment_alpha.Int32.t

Source

val remaining_blocks : 
  Level_repr.t ->
  t ->
  blocks_per_voting_period:Tezos_protocol_environment_alpha.Int32.t ->
  Tezos_protocol_environment_alpha.Int32.t