package tezos-protocol-020-PsParisC

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Set of protocol proposal with corresponding proposer delegate

type context = Raw_context.t

type elt =
  Tezos_protocol_environment_020_PsParisC.Protocol_hash.t
  * Tezos_protocol_environment_020_PsParisC.Signature.Public_key_hash.t

The type of elements.

val mem : context -> elt -> bool Tezos_protocol_environment_020_PsParisC.Lwt.t

Tells if an elt is a member of the set

val add : 
  context ->
  elt ->
  Raw_context.t Tezos_protocol_environment_020_PsParisC.Lwt.t

Adds an elt as a member of the set

val remove : 
  context ->
  elt ->
  Raw_context.t Tezos_protocol_environment_020_PsParisC.Lwt.t

Removes an elt from the set ; does nothing if not a member

val elements : 
  context ->
  elt list Tezos_protocol_environment_020_PsParisC.Lwt.t

Returns the elements of the set, deserialized in a list in no particular order.

val fold : 
  context ->
  order:[ `Sorted | `Undefined ] ->
  init:'a ->
  f:(elt -> 'a -> 'a Tezos_protocol_environment_020_PsParisC.Lwt.t) ->
  'a Tezos_protocol_environment_020_PsParisC.Lwt.t

Iterates over the elements of the set.

val clear : 
  context ->
  Raw_context.t Tezos_protocol_environment_020_PsParisC.Lwt.t

Removes all elements in the set