| Pat | DDC.Core.Salt.Exp, DDC.Core.Salt |
| PData | DDC.Core.Salt.Exp, DDC.Core.Salt |
| PDefault | DDC.Core.Salt.Exp, DDC.Core.Salt |
| 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 |
| pprPrimTyConStem | DDC.Core.Salt.Name |
| Prim | DDC.Core.Salt.Exp, DDC.Core.Salt |
| PrimArith | |
| 1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Salt |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithAdd | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithAnd | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithBAnd | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithBOr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithBXOr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithDiv | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithEq | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithGe | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithGt | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithLe | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithLt | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithMod | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithMul | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithNeg | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithNeq | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithOr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithRem | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithShl | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithShr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimArithSub | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimCall | |
| 1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Salt |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimCallStd | 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.Salt |
| 2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimCastConvert | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimCastPromote | DDC.Core.Salt.Name, DDC.Core.Salt |
| primCastPromoteIsValid | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimCastTruncate | DDC.Core.Salt.Name, 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 |
| primDataDefs | DDC.Core.Salt.Env |
| primKindEnv | DDC.Core.Salt.Env |
| PrimLit | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimLitBool | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimLitFloat | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimLitInt | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimLitNat | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimLitSize | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimLitTag | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimLitTextLit | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimLitVoid | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimLitWord | DDC.Core.Salt.Name, DDC.Core.Salt |
| 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 |
| PrimStorePeekBounded | 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 |
| PrimStorePokeBounded | 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.Salt |
| PrimTyConAddr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimTyConBool | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimTyConFloat | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimTyConInt | DDC.Core.Salt.Name, 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.Salt |
| PrimTyConPtr | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimTyConSize | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimTyConTag | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimTyConTextLit | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimTyConVec | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimTyConVoid | DDC.Core.Salt.Name, DDC.Core.Salt |
| primTyConWidth | DDC.Core.Salt.Name |
| PrimTyConWord | DDC.Core.Salt.Name, DDC.Core.Salt |
| primTypeEnv | DDC.Core.Salt.Env |
| PrimVal | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimValLit | DDC.Core.Salt.Name, DDC.Core.Salt |
| PrimValOp | DDC.Core.Salt.Name, DDC.Core.Salt |
| 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 | DDC.Core.Salt.Profile, DDC.Core.Salt |