Bitset (u.ba21d2934bf0ad7ba1fcc2309c7450ba.tezos-protocol-015-PtLimaPt.16.0.doc.tezos-protocol-015-PtLimaPt.raw.Tezos_raw_protocol_015

Sourcetype t

A bitset is a compact structure to store a set of integers.

Sourcetype Tezos_protocol_environment_015_PtLimaPt.Error_monad.error +=

| Invalid_position of int

Sourceval encoding : t Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Sourceval empty : t

A bitset encoding the empty set.

val mem : 
  t ->
  int ->
  bool Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult

mem field i returns true iff i has been added in field.

This functions returns Invalid_input i if i is negative.

Source

val add : 
  t ->
  int ->
  t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult

add field i returns a new bitset which contains i in addition to the previous integers of field.

This functions returns Invalid_input i if i is negative.

Source

val from_list : 
  int list ->
  t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult

from_list positions folds add over the positions starting from empty. This function returns Invalid_input i if i is negative and appears in positions.

Sourceval inter : t -> t -> t

inter set_l set_r returns set which is result of the intersection of set_l and set_r.

Sourceval diff : t -> t -> t

diff set_l set_r returns a set containing fiels in set_l that are not in set_r.

Sourceval occupied_size_in_bits : t -> int

occupied_size_in_bits bitset returns the current number of bits occupied by the bitset.