Index - T
| takeCallConsFromExp | DDC.Core.Call |
| takeCallConsFromType | DDC.Core.Call |
| takeCallElim | DDC.Core.Call |
| takeCtorNameOfAlt | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeDataTyConApps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeEnclosingCtx | DDC.Core.Exp.Annot.Ctx |
| takeKFun | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeKFuns | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeKFuns' | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeNameOfBind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeNameOfBound | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeNameOfDaCon | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takePrimeRegion | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takePrimTyConApps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takePrimWiConApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeResultKind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeSortOfKiCon | DDC.Type.Check |
| takeStdCallConsFromTypeArity | DDC.Core.Call |
| takeSubstBoundOfBind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeSubstBoundsOfBinds | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTApps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTExists | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTForalls | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTFun | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTFunAllArgResult | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTFunArgResult | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTFunWitArgResult | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTopLetEnvNamesOfCtx | DDC.Core.Exp.Annot.Ctx |
| takeTopNameOfCtx | DDC.Core.Exp.Annot.Ctx |
| takeTSusp | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTSusps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTyConApps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTypeOfBound | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTypeOfDaCon | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| takeTypeOfExportSource | DDC.Core.Module |
| takeWAppsAsList | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXAbs | DDC.Core.Exp.Generic.Compounds |
| takeXApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Compounds |
| 3 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXApps1 | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXAppsAsList | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXAppsWithAnnots | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| takeXConApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Compounds |
| 3 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXLamFlags | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXLamParam | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| takeXLAMs | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Compounds |
| 3 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXLams | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Compounds |
| 3 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXPrimApps | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Generic.Compounds |
| 3 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXType | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| takeXWitness | |
| 1 (Function) | DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Annot |
| 2 (Function) | DDC.Core.Exp.Simple.Compounds |
| tAlloc | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| TApp | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| tApp | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tApps | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tBot | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| TcCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConAlloc | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConDeepAlloc | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConDeepRead | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConDeepWrite | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConFun | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConHeadRead | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConRead | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConSusp | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConUnit | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TcConWrite | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| tConData0 | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tConData1 | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tConst | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDeepAlloc | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDeepConst | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDeepMutable | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDeepRead | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDeepWrite | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tDistinct | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| text | DDC.Core.Pretty |
| TForall | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| tForall | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tForall' | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tForalls | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tForalls' | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tFun | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tFunOfList | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tFunOfParamResult | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tHeadRead | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tImpl | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tIx | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tMutable | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| Tok | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| TokAtom | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| TokMeta | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| TokNamed | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| toList | DDC.Type.Sum |
| topOfCtx | DDC.Core.Exp.Annot.Ctx |
| tPure | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| TrackedClosures | DDC.Core.Fragment |
| TrackedEffects | DDC.Core.Fragment |
| tRead | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| TSum | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| tSum | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tSusp | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tUnit | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| tupled | DDC.Core.Pretty |
| TVar | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConConst | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConDeepConst | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConDeepMutable | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConDisjoint | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConDistinct | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConImpl | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConMutable | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TwConPure | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| tWrite | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| TyCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConBound | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConExists | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConHash | |
| 1 (Type/Class) | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| 2 (Data Constructor) | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConKind | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConSort | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConSpec | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TyConWitness | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| Type | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeEnv | DDC.Type.Env |
| typeOfBind | DDC.Type.Compounds, DDC.Core.Exp.Annot.Compounds, DDC.Core.Exp.Generic.Compounds, DDC.Core.Exp.Simple.Compounds, DDC.Core.Exp.Annot |
| typeOfDataCtor | DDC.Type.DataDef |
| typeOfExp | DDC.Core.Check |
| typeOfImportCap | DDC.Core.Module |
| typeOfImportValue | DDC.Core.Module |
| typeOfWiCon | DDC.Core.Check |
| typeOfWitness | DDC.Core.Check |
| TypeSum | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeSumBot | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| typeSumBoundAnon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| typeSumBoundNamed | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeSumCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| typeSumElems | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| typeSumKind | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeSumSet | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| typeSumSpill | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeSumVar | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |
| TypeSumVarCon | DDC.Type.Exp, DDC.Core.Exp.Annot.Exp, DDC.Core.Exp.Simple.Exp, DDC.Core.Exp.Annot, DDC.Core.Exp |