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
gen
val next : gen ‑> t * gen
next gen
(new_ix, new_gen)
new_ix
new_gen
val remove_ix : gen ‑> t ‑> gen
remove_ix gen ix
ix
val int_of_ix : t ‑> int
int_of_ix ix converts index ix to an integer.
int_of_ix ix