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

Index - O

OrdType 
1 (Type/Class)Type.Set
2 (Data Constructor)Type.Set