package lrgrep

You can search for identifiers within the package.

in-package search v0.2.0

Module `Utils.IndexBuffer`Source

Module for dynamic vectors, useful when the cardinal of a finite domain is not yet known.

Sourcemodule Dyn : sig ... end

Module for generating a new finite domain, allocating elements and associating a value to each element.

FIXME: Deprecated, this should be re-designed.

Sourcemodule Gen : sig ... end