TypeScript library for mathematical set operations with type-safe disjoint unions and compile-time checking - types only
