Amendment (p.tezos-protocol-001-PtCJ7pwo.16.1.doc.tezos-protocol-001-PtCJ7pwo.raw.Tezos_raw_protocol_001

Source

val may_start_new_voting_cycle : 
  Alpha_context.context ->
  Alpha_context.context
    Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Sourcetype Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error +=

| Unexpected_proposal
| Unauthorized_proposal

Source

val record_proposals : 
  Alpha_context.context ->
  Alpha_context.public_key_hash ->
  Tezos_protocol_environment_001_PtCJ7pwo.Protocol_hash.t list ->
  Alpha_context.context
    Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

Sourcetype Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error +=

| Invalid_proposal
| Unexpected_ballot
| Unauthorized_ballot

Source

val record_ballot : 
  Alpha_context.context ->
  Alpha_context.public_key_hash ->
  Tezos_protocol_environment_001_PtCJ7pwo.Protocol_hash.t ->
  Alpha_context.Vote.ballot ->
  Alpha_context.context
    Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t