tezos-protocol-003-PsddFKi3 9.7

type proposal = Tezos_base__TzPervasives.Protocol_hash.t

val record_proposal : 
  context ->
  Tezos_base__TzPervasives.Protocol_hash.t ->
  public_key_hash ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val get_proposals : 
  context ->
  (int32
     Tezos_protocol_environment_003_PsddFKi3__Environment.Protocol_hash.Map.t,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val clear_proposals : context -> context Lwt.t

val recorded_proposal_count_for_delegate : 
  context ->
  public_key_hash ->
  (int,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val listings_encoding : 
  (Tezos_base__TzPervasives.Signature.public_key_hash * int32) list
    Tezos_base__TzPervasives.Data_encoding.t

val freeze_listings : 
  context ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val clear_listings : 
  context ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val listing_size : 
  context ->
  (int32,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

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

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

type ballot =

| Yay
| Nay
| Pass

val ballot_encoding : ballot Tezos_base__TzPervasives.Data_encoding.t

type ballots = {

yay : int32;
nay : int32;
pass : int32;

}

val ballots_encoding : ballots Tezos_base__TzPervasives.Data_encoding.t

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

val record_ballot : 
  context ->
  public_key_hash ->
  ballot ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val get_ballots : 
  context ->
  (ballots,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

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

val clear_ballots : context -> context Lwt.t

val get_current_period_kind : 
  context ->
  (Voting_period.kind,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val set_current_period_kind : 
  context ->
  Voting_period.kind ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val get_current_quorum : 
  context ->
  (int32,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val set_current_quorum : 
  context ->
  int32 ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val get_current_proposal : 
  context ->
  (proposal,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val init_current_proposal : 
  context ->
  proposal ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val clear_current_proposal : 
  context ->
  (context,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

package tezos-protocol-003-PsddFKi3