package tezos-protocol-003-PsddFKi3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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

type Tezos_protocol_environment_003_PsddFKi3.Error_monad.error +=

| 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