This library offers an implementation of segment maps. A segment map represents a thinning, an increasing function of the natural numbers to the natural numbers. A thinning can serve as a renaming in a system where variables are represented as de Bruijn indices.
The library offers just one module, Segmap.
Type opam install segmap.
In your dune file, add (libraries segmap) to the description of your library or executable.