| Name | |
| 1 (Type/Class) | DDC.Core.Lite |
| 2 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameCon | |
| 1 (Data Constructor) | DDC.Core.Lite |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameDataTyCon | DDC.Core.Lite |
| NameEffectTyCon | DDC.Core.Lite |
| NameLitBool | |
| 1 (Data Constructor) | DDC.Core.Lite |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitInt | |
| 1 (Data Constructor) | DDC.Core.Lite |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitNat | |
| 1 (Data Constructor) | DDC.Core.Lite |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitTag | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitVoid | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitWord | |
| 1 (Data Constructor) | DDC.Core.Lite |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameObjTyCon | DDC.Core.Salt.Name, DDC.Core.Salt |
| NamePrimArith | DDC.Core.Lite |
| NamePrimCast | DDC.Core.Lite |
| NamePrimDaCon | DDC.Core.Lite |
| NamePrimOp | DDC.Core.Salt.Name, DDC.Core.Salt |
| NamePrimTyCon | |
| 1 (Data Constructor) | DDC.Core.Lite |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameVar | |
| 1 (Data Constructor) | DDC.Core.Lite |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |