A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
$
<
~
All

Index - T

tab	DDC.Control.Parser
TAbs
1 (Data Constructor)	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
takeCallConsFromExp	DDC.Core.Call
takeCallConsFromType	DDC.Core.Call
takeCallElim	DDC.Core.Call
takeCtorNameOfAlt	DDC.Core.Exp.Annot
takeDataTyConApps	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeEnclosingCtx	DDC.Core.Exp.Annot.Ctx
takeHead	DDC.Data.ListUtils
takeInit	DDC.Data.ListUtils
takeKFun	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeKFuns	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeKFuns'	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeMaximum	DDC.Data.ListUtils
takeNameOfBind	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeNameOfBound	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeNameOfDaCon	DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takePrimeRegion	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takePrimTyConApps	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takePrimWiConApps	DDC.Core.Exp.Annot
takeResultKind	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeSortOfKiCon	DDC.Core.Check
takeStdCallConsFromTypeArity	DDC.Core.Call
takeSubstBoundOfBind	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeSubstBoundsOfBinds	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeTAbs	DDC.Type.Exp.Generic.Compounds
takeTail	DDC.Data.ListUtils
takeTApp	DDC.Type.Exp.Generic.Compounds
takeTApps
1 (Function)	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
2 (Function)	DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic
takeTCon	DDC.Type.Exp.Generic.Compounds
takeTExists
1 (Function)	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
2 (Function)	DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic
takeTForall	DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic
takeTForalls	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeTFun
1 (Function)	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
2 (Function)	DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic
takeTFunAllArgResult	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeTFunArgResult	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeTFuns	DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic
takeTFuns'	DDC.Type.Exp.Generic.Compounds, DDC.Type.Exp.Generic
takeTFunWitArgResult	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeTopLetEnvNamesOfCtx	DDC.Core.Exp.Annot.Ctx
takeTopNameOfCtx	DDC.Core.Exp.Annot.Ctx
takeTSusp	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeTSusps	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeTUnion	DDC.Type.Exp.Generic.Compounds
takeTUnions	DDC.Type.Exp.Generic.Compounds
takeTVar	DDC.Type.Exp.Generic.Compounds
takeTyConApps	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeTypeOfBound	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeTypeOfDaCon	DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
takeTypeOfExportSource	DDC.Core.Module
takeWAppsAsList	DDC.Core.Exp.Annot
takeXAbs	DDC.Core.Exp.Generic
takeXApps
1 (Function)	DDC.Core.Exp.Annot
2 (Function)	DDC.Core.Exp.Generic
takeXApps1	DDC.Core.Exp.Annot
takeXAppsAsList	DDC.Core.Exp.Annot
takeXAppsWithAnnots	DDC.Core.Exp.Annot
takeXConApps
1 (Function)	DDC.Core.Exp.Annot
2 (Function)	DDC.Core.Exp.Generic
takeXLamFlags	DDC.Core.Exp.Annot
takeXLamParam	DDC.Core.Exp.Annot
takeXLAMs
1 (Function)	DDC.Core.Exp.Annot
2 (Function)	DDC.Core.Exp.Generic
takeXLams
1 (Function)	DDC.Core.Exp.Annot
2 (Function)	DDC.Core.Exp.Generic
takeXPrimApps
1 (Function)	DDC.Core.Exp.Annot
2 (Function)	DDC.Core.Exp.Generic
takeXType	DDC.Core.Exp.Annot
takeXWitness	DDC.Core.Exp.Annot
tAlloc	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
TAnnot	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TApp
1 (Data Constructor)	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
tApp	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
TApp2	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TApp3	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TApp4	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TApp5	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
tApps	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
TBot	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
tBot	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
TcCon	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TcConAlloc	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TcConDeepAlloc	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TcConDeepRead	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TcConDeepWrite	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TcConFun	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TcConHeadRead	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TcConRead	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TcConSusp	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TcConUnit	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TcConWrite	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TCon
1 (Data Constructor)	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
tConData0	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tConData1	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tConst	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tDeepAlloc	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tDeepConst	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tDeepMutable	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tDeepRead	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tDeepWrite	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tDistinct	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
text	DDC.Data.Pretty, DDC.Core.Pretty
TForall	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
tForall	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tForall'	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tForalls	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tForalls'	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
TFun	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
tFun	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tFunOfList	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tFunOfParamResult	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tHeadRead	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
throw	DDC.Control.Check
tImpl	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tIx	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tMutable	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
Token	DDC.Core.Lexer.Tokens, DDC.Core.Lexer
token	DDC.Control.Parser
TokenAtom	DDC.Core.Lexer.Tokens, DDC.Core.Lexer
TokenMeta	DDC.Core.Lexer.Tokens, DDC.Core.Lexer
TokenNamed	DDC.Core.Lexer.Tokens, DDC.Core.Lexer
tokenPrim	DDC.Control.Parser
tokenPrimEx	DDC.Control.Parser
tokens	DDC.Control.Parser
toList	DDC.Type.Sum
topOfCtx	DDC.Core.Exp.Annot.Ctx
TPrim	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
tPure	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
TrackedClosures	DDC.Core.Fragment
TrackedEffects	DDC.Core.Fragment
tRead	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
try	DDC.Control.Parser
TSum	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
tSum	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tSusp	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
TUnion	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TUnit	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
tUnit	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
tupled	DDC.Data.Pretty, DDC.Core.Pretty
TVar
1 (Data Constructor)	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TVoid	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TwCon	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TwConConst	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TwConDeepConst	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TwConDeepMutable	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TwConDisjoint	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TwConDistinct	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TwConImpl	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TwConMutable	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TwConPure	DDC.Type.Exp.TyCon, DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
tWrite	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
TyCon
1 (Type/Class)	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Type/Class)	DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TyConBot	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TyConBound
1 (Data Constructor)	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TyConExists
1 (Data Constructor)	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TyConForall	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TyConFun	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TyConHash
1 (Type/Class)	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Data Constructor)	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TyConKind	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TyConPrim	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TyConSort	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TyConSpec	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TyConUnion	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TyConUnit	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TyConVoid	DDC.Type.Exp.Generic.Exp, DDC.Type.Exp.Generic, DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TyConWitness	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
Type
1 (Type/Class)	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
2 (Type/Class)	DDC.Type.Exp.Flat.Exp, DDC.Type.Exp.Flat
TypeEnv	DDC.Type.Env
typeEnvOfEnvX	DDC.Core.Env.EnvX
typeOfBind	DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic
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.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TypeSumBot	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
typeSumBoundAnon	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
typeSumBoundNamed	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TypeSumCon	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
typeSumElems	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
typeSumKind	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TypeSumSet	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
typeSumSpill	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TypeSumVar	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot
TypeSumVarCon	DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot