Index - U
| UIx | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
| UName | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
| UnboundLevel0Vars | DDC.Core.Fragment |
| UnboxedInstantiation | DDC.Core.Fragment |
| unhashTyCon | DDC.Type.Sum |
| union | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| unionDataDefs | DDC.Type.DataDef |
| unions | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| Universe | DDC.Type.Universe |
| UniverseData | DDC.Type.Universe |
| universeFromType1 | DDC.Type.Universe |
| universeFromType2 | DDC.Type.Universe |
| universeFromType3 | DDC.Type.Universe |
| UniverseKind | DDC.Type.Universe |
| universeOfType | DDC.Type.Universe |
| UniverseSort | DDC.Type.Universe |
| UniverseSpec | DDC.Type.Universe |
| UniverseWitness | DDC.Type.Universe |
| UnusedBindings | DDC.Core.Fragment |
| UnusedMatches | DDC.Core.Fragment |
| UPrim | DDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp |
| use0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| use1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |