Module type Pomap.Store_intf.INDEX

Specification of indices used to index elements in stores

type t = int

Type of indices

type gen

Type of index generators

module Set : module type of Ptset

Efficient sets of indices

module Map : Stdlib.Map.S with type Map.key = t

Efficient maps of indices

val start : gen

The start state of the index generator

val next_ix : gen ‑> t

next_ix gen

val next : gen ‑> t * gen

next gen

Returns the tuple of (new_ix, new_gen), where new_ix is the next index and new_gen the next state of the index generator.

val remove_ix : gen ‑> t ‑> gen

remove_ix gen ix

Returns an updated index generator which is guaranteed to never return index ix or any other previously returned index.

val int_of_ix : t ‑> int

int_of_ix ix converts index ix to an integer.