Up – Package index » lrgrep » Library fix » Fix » Indexing » Unit

Module `Indexing.Unit`Source

Unit contains a type-level name for the singleton set.

include CARDINAL

Sourcetype n

Sourceval n : n cardinal

Sourceval element : n index