Vote (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Alpha

type proposal = Mavryk_protocol_environment_001_PtAtLas.Protocol_hash.t

val get_delegate_proposal_count : 
  context ->
  public_key_hash ->
  int Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

See Vote_storage.get_delegate_proposal_count.

val set_delegate_proposal_count : 
  context ->
  public_key_hash ->
  int ->
  context Mavryk_protocol_environment_001_PtAtLas.Lwt.t

See Vote_storage.set_delegate_proposal_count.

val has_proposed : 
  context ->
  public_key_hash ->
  proposal ->
  bool Mavryk_protocol_environment_001_PtAtLas.Lwt.t

See Vote_storage.has_proposed.

val add_proposal : 
  context ->
  public_key_hash ->
  proposal ->
  context Mavryk_protocol_environment_001_PtAtLas.Lwt.t

See Vote_storage.add_proposal.

val get_proposals : 
  context ->
  int64 Mavryk_protocol_environment_001_PtAtLas.Protocol_hash.Map.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val clear_proposals : 
  context ->
  context Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val listings_encoding : 
  (public_key_hash * int64) list
    Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val update_listings : 
  context ->
  context Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val in_listings : 
  context ->
  public_key_hash ->
  bool Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_listings : 
  context ->
  (public_key_hash * int64) list Mavryk_protocol_environment_001_PtAtLas.Lwt.t

type ballot =

| Yay
| Nay
| Pass

val equal_ballot : ballot -> ballot -> bool

val pp_ballot : 
  Mavryk_protocol_environment_001_PtAtLas.Format.formatter ->
  ballot ->
  unit

type delegate_info = {

voting_power : Mavryk_protocol_environment_001_PtAtLas.Int64.t option;
current_ballot : ballot option;
current_proposals : Mavryk_protocol_environment_001_PtAtLas.Protocol_hash.t list;
remaining_proposals : int;

}

val pp_delegate_info : 
  Mavryk_protocol_environment_001_PtAtLas.Format.formatter ->
  delegate_info ->
  unit

val delegate_info_encoding : 
  delegate_info Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val get_delegate_info : 
  context ->
  public_key_hash ->
  delegate_info Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_voting_power_free : 
  context ->
  public_key_hash ->
  int64 Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_voting_power : 
  context ->
  public_key_hash ->
  (context * int64)
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_current_voting_power_free : 
  context ->
  public_key_hash ->
  int64 Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_total_voting_power_free : 
  context ->
  int64 Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_total_voting_power : 
  context ->
  (context * int64)
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val ballot_encoding : 
  ballot Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

type ballots = {

yay : int64;
nay : int64;
pass : int64;

}

val ballots_zero : ballots

See Vote_storage.ballots_zero.

val ballots_encoding : 
  ballots Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

See Vote_storage.ballots_encoding

val equal_ballots : ballots -> ballots -> bool

See Vote_storage.equal_ballots.

val pp_ballots : 
  Mavryk_protocol_environment_001_PtAtLas.Format.formatter ->
  ballots ->
  unit

See Vote_storage.pp_ballots.

val has_recorded_ballot : 
  context ->
  public_key_hash ->
  bool Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val record_ballot : 
  context ->
  public_key_hash ->
  ballot ->
  context Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_ballots : 
  context ->
  ballots Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_ballot_list : 
  context ->
  (public_key_hash * ballot) list Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val clear_ballots : 
  context ->
  context Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_current_quorum : 
  context ->
  int32 Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val get_participation_ema : 
  context ->
  int32 Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val set_participation_ema : 
  context ->
  int32 ->
  context Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val current_proposal_exists : 
  context ->
  bool Mavryk_protocol_environment_001_PtAtLas.Lwt.t

See Vote_storage.current_proposal_exists.

val get_current_proposal : 
  context ->
  proposal Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

See Vote_storage.get_current_proposal.

val find_current_proposal : 
  context ->
  proposal option Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

See Vote_storage.find_current_proposal.

val init_current_proposal : 
  context ->
  proposal ->
  context Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

See Vote_storage.init_current_proposal.

val clear_current_proposal : 
  context ->
  context Mavryk_protocol_environment_001_PtAtLas.Lwt.t

See Vote_storage.clear_current_proposal.