Unique integer type for local Coordinate indexing. More...
Unique integer type for local Coordinate indexing.