Tezos_raw_protocol_013_PtJakart.Bitsetval encoding : t Tezos_protocol_environment_013_PtJakart.Data_encoding.tval empty : tA bitset encoding the empty set.
val mem :
t ->
int ->
bool Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultmem field i returns true iff i has been added in field.
This functions returns Invalid_input i if i is negative.
val add :
t ->
int ->
t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresultadd 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.