Index - A
| absCM | Termination |
| absName | Value |
| abstract | Termination |
| AbsurdP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| activateFuns | TCM |
| add | |
| 1 (Function) | Semiring |
| 2 (Function) | SparseMatrix |
| addBelowInfty | TCM |
| addBind | TCM |
| addBinds | TCM |
| addBoundHyp | TCM |
| addCM | Termination |
| addCM' | Termination |
| addCMh | Termination |
| addColumn | SparseMatrix |
| addConstraint | Warshall |
| addEdge | Warshall |
| addFKindTel | Extract |
| addFlex | Warshall |
| addFunSig | TypeChecker |
| addJob | TypeChecker |
| addKindedTypeSigs | TCM |
| addLe | TCM |
| addLeq | TCM |
| addMeta | TCM |
| addMultiplicity | Polarity |
| addName | TCM |
| addNameEnv | Eval |
| addNode | Warshall |
| addOrCheckGuard | Eval |
| addPattern | TCM |
| addPatternEnv | Eval |
| addPatterns | TCM |
| addPatternsEnv | Eval |
| addPosEdge | Eval |
| addRewrite | TCM |
| addRow | SparseMatrix |
| addSig | TCM |
| addSigQ | TCM |
| addSizeRel | TCM |
| adjustTopDecs | Abstract |
| adjustTopDecsM | Abstract |
| admCheckFunSig | TypeChecker |
| admClause | TypeChecker |
| admClauses | TypeChecker |
| admCoFun | TypeChecker |
| admEndsInCo | TypeChecker |
| admFunDef | TypeChecker |
| admPattern | TypeChecker |
| admPatterns | TypeChecker |
| admType | TypeChecker |
| AlexPosn | Lexer |
| alexScanTokens | Lexer |
| alignDotted | Abstract |
| all | SparseMatrix |
| allComponentTypes | TypeChecker |
| allLet | MainLib |
| allTypesOfTuple | TypeChecker |
| alphaPattern | Eval |
| Amp | Lexer |
| analyzeConstructor | Abstract |
| analyzeConstructors | Abstract |
| andLazy | Util |
| andM | Util |
| angleBrackets | Util |
| AngleClose | Lexer |
| AngleOpen | Lexer |
| Ann | Abstract |
| AnonRec | Abstract |
| any | SparseMatrix |
| AnyKind | Abstract |
| App | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| app | Eval |
| app' | Eval |
| app12 | Eval |
| appDef | Eval |
| appendEnv | Value |
| applyDec | TCM |
| applyLastM | Abstract |
| Arc | Warshall |
| arc | Warshall |
| argKind | Abstract |
| Arity | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| arity | TCM |
| Arrow | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Extract |
| arrow | Value |
| assert | TraceError |
| assert' | TraceError |
| assertDoc | TraceError |
| assertDoc' | TraceError |
| AssertionHandling | TraceError |
| assertionHandling | TCM |
| assignFlex | TypeChecker |