Amendment (p.tezos-protocol-003-PsddFKi3.16.0.doc.tezos-protocol-003-PsddFKi3.raw.Tezos_raw_protocol_003

Source

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

Sourcetype Tezos_protocol_environment_003_PsddFKi3.Error_monad.error +=

| Unexpected_proposal
| Unauthorized_proposal
| Too_many_proposals
| Empty_proposal

Source

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

Sourcetype Tezos_protocol_environment_003_PsddFKi3.Error_monad.error +=

| Invalid_proposal
| Unexpected_ballot
| Unauthorized_ballot

Source

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