| TAbs | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| takeAnnotOfExp | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeBoundOfBind | DDC.Source.Tetra.Exp.Bind, DDC.Source.Tetra.Exp |
| takeNameOfDaCon | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takePresent | DDC.Source.Tetra.Env |
| takePrimWiConApps | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeTAbs | DDC.Source.Tetra.Exp |
| takeTApp | DDC.Source.Tetra.Exp |
| takeTApps | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeTCon | DDC.Source.Tetra.Exp |
| takeTExists | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeTForall | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeTFun | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeTFuns | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeTFuns' | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeTUnion | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeTUnions | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeTVar | DDC.Source.Tetra.Exp |
| takeTypeOfBindMT | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeTypeOfDaCon | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeWAppsAsList | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeXApps | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeXApps1 | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeXAppsAsList | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeXAppsWithAnnots | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeXConApps | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeXLamFlags | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeXLAMs | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeXLams | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeXPrimApps | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| takeXWitness | DDC.Source.Tetra.Exp.Compounds, DDC.Source.Tetra.Exp |
| TAlloc | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TAnnot | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TApp | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TApp2 | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TApp3 | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TApp4 | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TApp5 | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TBool | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TBot | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcCon | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcConAlloc | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcConDeepAlloc | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcConDeepRead | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcConDeepWrite | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcConFun | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcConHeadRead | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcConRead | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcConSusp | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcConUnit | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TcConWrite | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TCon | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| text | DDC.Source.Tetra.Pretty |
| TFloat | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TFun | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TImpl | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TInt | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TNat | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| Top | DDC.Source.Tetra.Module |
| topAnnot | DDC.Source.Tetra.Module |
| TopClause | DDC.Source.Tetra.Module |
| topClause | DDC.Source.Tetra.Module |
| TopData | DDC.Source.Tetra.Module |
| topDataDef | DDC.Source.Tetra.Module |
| TopType | DDC.Source.Tetra.Module |
| topTypeBind | DDC.Source.Tetra.Module |
| topTypeExp | DDC.Source.Tetra.Module |
| TPrim | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TRead | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TSize | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TSusp | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TTextLit | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TUnion | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TUnit | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| tupled | DDC.Source.Tetra.Pretty |
| TVar | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TVoid | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TwCon | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TwConConst | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TwConDeepConst | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TwConDeepMutable | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TwConDisjoint | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TwConDistinct | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TwConImpl | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TwConMutable | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TwConPure | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TWord | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TWrite | DDC.Source.Tetra.Prim, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyCon | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConBind | DDC.Source.Tetra.Exp.Bind, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConBindName | DDC.Source.Tetra.Exp.Bind, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConBot | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConBound | |
| 1 (Data Constructor) | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| 2 (Type/Class) | DDC.Source.Tetra.Exp.Bind, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConBoundName | DDC.Source.Tetra.Exp.Bind, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConExists | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConForall | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConFun | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConPrim | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConUnion | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConUnit | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| TyConVoid | DDC.Source.Tetra.Exp.Generic, DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| Type | DDC.Source.Tetra.Exp.Source, DDC.Source.Tetra.Exp |
| typeOfDataCtor | DDC.Source.Tetra.DataDef |
| typeOfPrimLit | DDC.Source.Tetra.Env |
| typeOfPrimVal | DDC.Source.Tetra.Env |
| typeOpError | DDC.Source.Tetra.Prim |
| typeOpFun | DDC.Source.Tetra.Prim |
| typeOpVector | DDC.Source.Tetra.Prim |
| typePrimArith | DDC.Source.Tetra.Prim |
| typePrimCast | DDC.Source.Tetra.Prim |
| tyStackDepth | DDC.Source.Tetra.Env |