invariant_set library

Provide an extension type ISet as a replacement for the built-in class Set as a type, with better type safety.

Extensions

ISetExtension on Set<T>

Extension methods used with regular Set objects in order to concisely obtain an expression of type ISet, and in order to validate the invariance.

Typedefs

ISet<E> = _ISet<E, _Inv<E>>

A replacement for the built-in class Set that offers improved type safety because it is invariant in its type parameter.