tezos-protocol-001-PtCJ7pwo 9.7

type proposal = Tezos_base__TzPervasives.Protocol_hash.t

val record_proposal : 
  context ->
  Tezos_base__TzPervasives.Protocol_hash.t ->
  public_key_hash ->
  context Lwt.t

val get_proposals : 
  context ->
  int32
    Tezos_protocol_environment_001_PtCJ7pwo__Environment.Protocol_hash.Map.t
    Lwt.t

val clear_proposals : context -> context Lwt.t

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

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

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

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

type ballot =

| Yay
| Nay
| Pass

type ballots = {

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

}

val record_ballot : context -> public_key_hash -> ballot -> context Lwt.t

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

val clear_ballots : context -> context Lwt.t

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

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

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

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

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

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

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

package tezos-protocol-001-PtCJ7pwo