Index - A
| adjustCod | Type.Function |
| All | |
| 1 (Type/Class) | Type.Logic |
| 2 (Data Constructor) | Type.Logic |
| allElim | Type.Logic |
| ApplicativeType | |
| 1 (Type/Class) | Type.Set |
| 2 (Data Constructor) | Type.Set |
| auto | Type.Logic |
| autoequality | Type.Set |
| autosubset | Type.Set |
type-settheory-0.1.3.1: Sets and functions-as-relations in the type system