| payloadSizeOfDataCtor | DDC.Core.Lite.Layout |
| Platform | |
| 1 (Type/Class) | DDC.Core.Salt.Platform |
| 2 (Data Constructor) | DDC.Core.Salt.Platform |
| platform32 | DDC.Core.Salt.Platform |
| platform64 | DDC.Core.Salt.Platform |
| platformAddrBytes | DDC.Core.Salt.Platform |
| platformAlignBytes | DDC.Core.Salt.Platform |
| platformNatBytes | DDC.Core.Salt.Platform |
| platformObjBytes | DDC.Core.Salt.Platform |
| platformTagBytes | DDC.Core.Salt.Platform |
| PrimArith | |
| 1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithAdd | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithAnd | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithBAnd | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithBOr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithBXOr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithDiv | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithEq | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithGe | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithGt | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithLe | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithLt | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithMod | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithMul | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithNeg | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithNeq | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithOr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithRem | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithShl | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithShr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimArithSub | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimCall | |
| 1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Salt |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimCallTail | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimCast | |
| 1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimCastConvert | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimCastPromote | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| primCastPromoteIsValid | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimCastTruncate | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| primCastTruncateIsValid | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimControl | |
| 1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Salt |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimControlFail | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimControlReturn | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimDaCon | DDC.Core.Lite |
| PrimDaConBoolU | DDC.Core.Lite |
| PrimDaConCons | DDC.Core.Lite |
| PrimDaConIntU | DDC.Core.Lite |
| PrimDaConNatU | DDC.Core.Lite |
| PrimDaConNil | DDC.Core.Lite |
| PrimDaConPr | DDC.Core.Lite |
| PrimDaConUnit | DDC.Core.Lite |
| primDataDefs | |
| 1 (Function) | DDC.Core.Lite.Env |
| 2 (Function) | DDC.Core.Salt.Env |
| primKindEnv | |
| 1 (Function) | DDC.Core.Lite.Env |
| 2 (Function) | DDC.Core.Salt.Env |
| PrimOp | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStore | |
| 1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Salt |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreAlloc | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreCastPtr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreCheck | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreCreate | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreMakePtr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreMinusAddr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreMinusPtr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStorePeek | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStorePlusAddr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStorePlusPtr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStorePoke | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreRead | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreRecover | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreSize | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreSize2 | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreTakePtr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimStoreWrite | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimTyCon | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimTyConAddr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimTyConBool | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimTyConFloat | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimTyConInt | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| primTyConIsFloating | DDC.Core.Salt.Name |
| primTyConIsIntegral | DDC.Core.Salt.Name |
| primTyConIsSigned | DDC.Core.Salt.Name |
| primTyConIsUnsigned | DDC.Core.Salt.Name |
| PrimTyConNat | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimTyConPtr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimTyConString | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimTyConTag | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimTyConVec | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| PrimTyConVoid | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| primTyConWidth | DDC.Core.Salt.Name |
| PrimTyConWord | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
| primTypeEnv | |
| 1 (Function) | DDC.Core.Lite.Env |
| 2 (Function) | DDC.Core.Salt.Env |
| PrimVec | DDC.Core.Salt.Name |
| PrimVecAdd | DDC.Core.Salt.Name |
| PrimVecDiv | DDC.Core.Salt.Name |
| PrimVecGather | DDC.Core.Salt.Name |
| primVecIndex | DDC.Core.Salt.Name |
| PrimVecMul | DDC.Core.Salt.Name |
| primVecMulti | DDC.Core.Salt.Name |
| PrimVecNeg | DDC.Core.Salt.Name |
| PrimVecPack | DDC.Core.Salt.Name |
| PrimVecProj | DDC.Core.Salt.Name |
| PrimVecRep | DDC.Core.Salt.Name |
| PrimVecScatter | DDC.Core.Salt.Name |
| PrimVecSub | DDC.Core.Salt.Name |
| profile | |
| 1 (Function) | DDC.Core.Lite |
| 2 (Function) | DDC.Core.Salt.Profile, DDC.Core.Salt |