package pomap

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Index module used to index elements in the store

type t = int

Type of indices

type gen

Type of index generators

module Set : module type of Ptset

Efficient sets of indices

module Map : Map.S with type 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.