type-settheory-0.1.3.1: Sets and functions-as-relations in the type system

Index - :

:***: 
1 (Type/Class)Type.Function
2 (Data Constructor)Type.Function
::∈:Type.Set
:==:Type.Set
:~>:Type.Function
:~~>:Type.Function
:×: 
1 (Type/Class)Type.Set
2 (Data Constructor)Type.Set
:∈:Type.Set
:∩:Type.Set
:∪:Type.Set
:⊆:Type.Set
:○:Type.Function