tezos-protocol-008-PtEdoTez 16.0

type kind =

| Proposal
(*
protocols can be proposed
*)
| Testing_vote
(*
a proposal can be voted
*)
| Testing
(*
winning proposal is forked on a testnet
*)
| Promotion_vote
(*
activation can be voted
*)
| Adoption
(*
a delay before activation
*)

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

val kind_encoding : 
  kind Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

type voting_period = {

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

}

A voting period can be of 5 kinds and is uniquely identified by a counter since the root.

type t = voting_period

type info = {

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

}

val root : start_position:Tezos_protocol_environment_008_PtEdoTez.Int32.t -> t

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

val encoding : t Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

val info_encoding : 
  info Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

val pp : Tezos_protocol_environment_008_PtEdoTez.Format.formatter -> t -> unit

val pp_info : 
  Tezos_protocol_environment_008_PtEdoTez.Format.formatter ->
  info ->
  unit

val pp_kind : 
  Tezos_protocol_environment_008_PtEdoTez.Format.formatter ->
  kind ->
  unit

val reset : 
  t ->
  start_position:Tezos_protocol_environment_008_PtEdoTez.Int32.t ->
  t

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.

val succ : 
  t ->
  start_position:Tezos_protocol_environment_008_PtEdoTez.Int32.t ->
  t

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.

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

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

package tezos-protocol-008-PtEdoTez