tezos-protocol-007-PsDELPH1 20.1 (latest)

type proposal = Tezos_protocol_environment_007_PsDELPH1.Protocol_hash.t

val record_proposal : 
  context ->
  Tezos_protocol_environment_007_PsDELPH1.Protocol_hash.t ->
  public_key_hash ->
  context Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

val get_proposals : 
  context ->
  int32 Tezos_protocol_environment_007_PsDELPH1.Protocol_hash.Map.t
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

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

val recorded_proposal_count_for_delegate : 
  context ->
  public_key_hash ->
  int Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

val listings_encoding : 
  (Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t * int32)
    list
    Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

val freeze_listings : 
  context ->
  context Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

val clear_listings : 
  context ->
  context Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

val listing_size : 
  context ->
  int32 Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

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

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

type ballot =

| Yay
| Nay
| Pass

val ballot_encoding : 
  ballot Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

type ballots = {

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

}

val ballots_encoding : 
  ballots Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

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

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

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

val get_ballot_list : 
  context ->
  (Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t * ballot)
    list
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

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

val get_current_period_kind : 
  context ->
  Voting_period.kind
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

val set_current_period_kind : 
  context ->
  Voting_period.kind ->
  context Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

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

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

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

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

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

val clear_current_proposal : 
  context ->
  context Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
    Tezos_protocol_environment_007_PsDELPH1.Lwt.t

package tezos-protocol-007-PsDELPH1