tezos-protocol-008-PtEdoTez 20.1 (latest)

type kind =

| Proposal
| Testing_vote
| Testing
| Promotion_vote
| Adoption

val kind_encoding : 
  kind Tezos_protocol_environment_008_PtEdoTez.Data_encoding.encoding

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

type voting_period = private {

index : int32;
kind : kind;
start_position : int32;

}

type t = voting_period

include BASIC_DATA with type t := t

include Tezos_protocol_environment_008_PtEdoTez.Compare.S with type t := t

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

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

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

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

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

val (>) : t -> t -> bool

val compare : t -> t -> int

val equal : t -> t -> bool

val max : t -> t -> t

val min : t -> t -> t

val encoding : 
  voting_period Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

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

val reset : 
  context ->
  context Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val succ : 
  context ->
  context Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val get_current : 
  context ->
  voting_period Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val get_current_kind : 
  context ->
  kind Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val is_last_block : 
  context ->
  bool Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

type info = {

voting_period : t;
position : int32;
remaining : int32;

}

val info_encoding : 
  info Tezos_protocol_environment_008_PtEdoTez.Data_encoding.t

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

val get_current_info : 
  context ->
  info Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val get_rpc_fixed_current_info : 
  context ->
  info Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

val get_rpc_fixed_succ_info : 
  context ->
  info Tezos_protocol_environment_008_PtEdoTez.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdoTez.Lwt.t

package tezos-protocol-008-PtEdoTez