Tezos_raw_protocol_003_PsddFKi3.Amendment
val may_start_new_voting_cycle : Alpha_context.context -> Alpha_context.context Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult Tezos_protocol_environment_003_PsddFKi3.Lwt.t
type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error +=
| Unexpected_proposal
| Unauthorized_proposal
| Too_many_proposals
| Empty_proposal
val record_proposals : Alpha_context.context -> Alpha_context.public_key_hash -> Tezos_protocol_environment_003_PsddFKi3.Protocol_hash.t list -> Alpha_context.context Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult Tezos_protocol_environment_003_PsddFKi3.Lwt.t
| Invalid_proposal
| Unexpected_ballot
| Unauthorized_ballot
val record_ballot : Alpha_context.context -> Alpha_context.public_key_hash -> Tezos_protocol_environment_003_PsddFKi3.Protocol_hash.t -> Alpha_context.Vote.ballot -> Alpha_context.context Tezos_protocol_environment_003_PsddFKi3.Error_monad.tzresult Tezos_protocol_environment_003_PsddFKi3.Lwt.t