Index
| $: | DDC.Core.Salt.Exp, DDC.Core.Salt |
| AAlt | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Abs | DDC.Core.Salt.Exp, DDC.Core.Salt |
| ALAM | DDC.Core.Salt.Exp, DDC.Core.Salt |
| ALam | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Alt | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Annot | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Arg | DDC.Core.Salt.Exp, DDC.Core.Salt |
| arityOfType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Bind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| binderOfBind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Bound | DDC.Core.Salt.Exp, DDC.Core.Salt |
| boundMatchesBind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Cast | DDC.Core.Salt.Exp, DDC.Core.Salt |
| CastBox | DDC.Core.Salt.Exp, DDC.Core.Salt |
| CastPurify | DDC.Core.Salt.Exp, DDC.Core.Salt |
| CastRun | DDC.Core.Salt.Exp, DDC.Core.Salt |
| CastWeakenEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Config | |
| 1 (Type/Class) | DDC.Core.Salt.Runtime |
| 2 (Data Constructor) | DDC.Core.Salt.Runtime |
| configHeapSize | DDC.Core.Salt.Runtime |
| dataArityOfType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| dcUnit | DDC.Core.Salt.Exp, DDC.Core.Salt |
| eraseTForalls | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Error | DDC.Core.Salt.Convert, DDC.Core.Salt |
| errorAlt | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorAltInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorArgInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
| errorArgs | DDC.Core.Salt.Convert, DDC.Core.Salt |
| errorBind | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorBindNone | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorBodyInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorBodyMustPassControl | DDC.Core.Salt.Convert, DDC.Core.Salt |
| errorExp | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorFromAnnot | DDC.Core.Salt.Exp, DDC.Core.Salt |
| ErrorFromAnnotFoundNakedType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| ErrorFromAnnotFoundNakedWitness | DDC.Core.Salt.Exp, DDC.Core.Salt |
| ErrorFunctionInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorImportInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
| errorImportName | DDC.Core.Salt.Convert, DDC.Core.Salt |
| errorModule | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorNoTopLevelLetrec | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorParameterInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorPrimCallInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
| errorPrimOp | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorRValueInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorStmtInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
| errorType | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorTypeInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ErrorUndefined | DDC.Core.Salt.Convert, DDC.Core.Salt |
| errorVar | DDC.Core.Salt.Convert, DDC.Core.Salt |
| Exp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| FromAnnot | DDC.Core.Salt.Exp, DDC.Core.Salt |
| fromAnnot | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GAbs | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GAlt | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GAnnot | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GArg | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GBind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GBound | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GCast | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GExp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GLets | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GPat | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GPrim | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GWiCon | DDC.Core.Salt.Exp, DDC.Core.Salt |
| GWitness | DDC.Core.Salt.Exp, DDC.Core.Salt |
| initRuntime | DDC.Core.Salt.Convert |
| isAlgDataType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isAllocEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isAtomR | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isAtomT | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isAtomW | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isAtomX | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isBAnon | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isBName | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isBNone | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isBot | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isClosureKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isConstWitType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isDataKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isDistinctWitType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isEffectKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isFunishTCon | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isMutableWitType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isPDefault | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isReadEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isRegionKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isSomeAllocEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isSomeReadEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isSomeWriteEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isTExists | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isTVar | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isWitnessKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isWitnessType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isWriteEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isXAbs | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isXApp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isXCon | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isXLAM | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isXLam | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isXLet | DDC.Core.Salt.Exp, DDC.Core.Salt |
| isXVar | DDC.Core.Salt.Exp, DDC.Core.Salt |
| kClosure | DDC.Core.Salt.Exp, DDC.Core.Salt |
| kData | DDC.Core.Salt.Exp, DDC.Core.Salt |
| kEffect | DDC.Core.Salt.Exp, DDC.Core.Salt |
| kFun | DDC.Core.Salt.Exp, DDC.Core.Salt |
| kFuns | DDC.Core.Salt.Exp, DDC.Core.Salt |
| kRegion | DDC.Core.Salt.Exp, DDC.Core.Salt |
| kWitness | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Lets | DDC.Core.Salt.Exp, DDC.Core.Salt |
| lexExpString | DDC.Core.Salt.Profile, DDC.Core.Salt |
| lexModuleString | DDC.Core.Salt.Profile, DDC.Core.Salt |
| liftPrimArithToVec | DDC.Core.Salt.Name |
| LLet | DDC.Core.Salt.Exp, DDC.Core.Salt |
| lowerPrimVecToArith | DDC.Core.Salt.Name |
| LPrivate | DDC.Core.Salt.Exp, DDC.Core.Salt |
| LRec | DDC.Core.Salt.Exp, DDC.Core.Salt |
| makeBindFromBinder | DDC.Core.Salt.Exp, DDC.Core.Salt |
| makeXAbs | DDC.Core.Salt.Exp, DDC.Core.Salt |
| makeXApps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| makeXLAMs | DDC.Core.Salt.Exp, DDC.Core.Salt |
| makeXLams | DDC.Core.Salt.Exp, DDC.Core.Salt |
| multiOfPrimVec | DDC.Core.Salt.Name |
| Name | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameCon | DDC.Core.Salt.Name, DDC.Core.Salt |
| namedBoundMatchesBind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| NameExt | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitBool | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitChar | DDC.Core.Salt.Name |
| NameLitFloat | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitInt | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitNat | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitSize | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitTag | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitTextLit | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitVoid | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameLitWord | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameObjTyCon | DDC.Core.Salt.Name, DDC.Core.Salt |
| NamePrimLit | DDC.Core.Salt.Name, DDC.Core.Salt |
| NamePrimOp | DDC.Core.Salt.Name, DDC.Core.Salt |
| NamePrimTyCon | DDC.Core.Salt.Name, DDC.Core.Salt |
| NamePrimVal | DDC.Core.Salt.Name, DDC.Core.Salt |
| NameVar | DDC.Core.Salt.Name, DDC.Core.Salt |
| partitionBindsByType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| 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 |
| PrimLitChar | 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 |
| readLitFloatOfBits | DDC.Core.Salt.Name |
| readLitInt | DDC.Core.Salt.Name |
| readLitInteger | DDC.Core.Salt.Name |
| readLitNat | DDC.Core.Salt.Name |
| readLitSize | DDC.Core.Salt.Name |
| readLitWordOfBits | DDC.Core.Salt.Name |
| readName | DDC.Core.Salt.Name, DDC.Core.Salt |
| readPrimArith | DDC.Core.Salt.Name |
| readPrimCall | DDC.Core.Salt.Name |
| readPrimCast | DDC.Core.Salt.Name |
| readPrimControl | DDC.Core.Salt.Name |
| readPrimLit | DDC.Core.Salt.Name |
| readPrimOp | DDC.Core.Salt.Name |
| readPrimStore | DDC.Core.Salt.Name |
| readPrimTyCon | DDC.Core.Salt.Name |
| readPrimTyConStem | DDC.Core.Salt.Name |
| readPrimVal | DDC.Core.Salt.Name |
| readPrimVec | DDC.Core.Salt.Name |
| replaceTypeOfBind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| replaceTypeOfBound | DDC.Core.Salt.Exp, DDC.Core.Salt |
| RExp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| rTop | DDC.Core.Salt.Runtime |
| RType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| runtimeImportKinds | DDC.Core.Salt.Runtime |
| runtimeImportTypes | DDC.Core.Salt.Runtime |
| RWitness | DDC.Core.Salt.Exp, DDC.Core.Salt |
| sanitizeName | DDC.Core.Salt.Convert |
| sComp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| seaNameOfLocal | DDC.Core.Salt.Convert |
| seaNameOfSuper | DDC.Core.Salt.Convert |
| seaOfSaltModule | DDC.Core.Salt.Convert, DDC.Core.Salt |
| ShowLanguage | DDC.Core.Salt.Exp, DDC.Core.Salt |
| splitXApps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| sProp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tAddr | DDC.Core.Salt.Compounds |
| takeDataTyConApps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeKFun | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeKFuns | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeKFuns' | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeNameOfBind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeNameOfBound | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeNameOfDaCon | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeNameVar | DDC.Core.Salt.Name, DDC.Core.Salt |
| takePrimeRegion | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takePrimTyConApps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeResultKind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeSubstBoundOfBind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeSubstBoundsOfBinds | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTApps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTExists | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTForalls | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTFun | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTFunAllArgResult | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTFunArgResult | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTFunWitArgResult | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTPtr | DDC.Core.Salt.Compounds |
| takeTSusp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTSusps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTyConApps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTypeOfBound | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeTypeOfDaCon | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeXAbs | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeXApps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeXConApps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeXLAMs | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeXLams | DDC.Core.Salt.Exp, DDC.Core.Salt |
| takeXPrimApps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tAlloc | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tApp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tApps | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tBool | DDC.Core.Salt.Compounds |
| tBot | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tConData0 | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tConData1 | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tConst | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tDeepAlloc | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tDeepConst | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tDeepMutable | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tDeepRead | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tDeepWrite | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tDistinct | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tFloat | DDC.Core.Salt.Compounds |
| tForall | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tForall' | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tForalls | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tForalls' | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tFun | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tFunOfList | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tFunOfParamResult | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tHeadRead | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tImpl | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tInt | DDC.Core.Salt.Compounds |
| tIx | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tMutable | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tNat | DDC.Core.Salt.Compounds |
| tObj | DDC.Core.Salt.Compounds |
| tPtr | DDC.Core.Salt.Compounds |
| tPure | DDC.Core.Salt.Exp, DDC.Core.Salt |
| transferModule | DDC.Core.Salt.Transfer |
| tRead | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tSize | DDC.Core.Salt.Compounds |
| tSum | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tSusp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tTag | DDC.Core.Salt.Compounds |
| tTextLit | DDC.Core.Salt.Compounds |
| tUnit | DDC.Core.Salt.Exp, DDC.Core.Salt |
| tVoid | DDC.Core.Salt.Compounds |
| tWord | DDC.Core.Salt.Compounds |
| tWrite | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Type | DDC.Core.Salt.Exp, DDC.Core.Salt |
| typeIsUnboxed | DDC.Core.Salt.Env |
| typeOfBind | DDC.Core.Salt.Exp, DDC.Core.Salt |
| typeOfPrimArith | DDC.Core.Salt.Env |
| typeOfPrimCall | DDC.Core.Salt.Env |
| typeOfPrimCast | DDC.Core.Salt.Env |
| typeOfPrimControl | DDC.Core.Salt.Env |
| typeOfPrimLit | DDC.Core.Salt.Env |
| typeOfPrimOp | DDC.Core.Salt.Env |
| typeOfPrimStore | DDC.Core.Salt.Env |
| WApp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| WCon | DDC.Core.Salt.Exp, DDC.Core.Salt |
| WiCon | DDC.Core.Salt.Exp, DDC.Core.Salt |
| WiConBound | DDC.Core.Salt.Exp, DDC.Core.Salt |
| Witness | DDC.Core.Salt.Exp, DDC.Core.Salt |
| WType | DDC.Core.Salt.Exp, DDC.Core.Salt |
| WVar | DDC.Core.Salt.Exp, DDC.Core.Salt |
| XAbs | DDC.Core.Salt.Exp, DDC.Core.Salt |
| xAdd | DDC.Core.Salt.Compounds |
| xAllocBoxed | DDC.Core.Salt.Runtime |
| xAllocRaw | DDC.Core.Salt.Runtime |
| xAllocSmall | DDC.Core.Salt.Runtime |
| xAllocThunk | DDC.Core.Salt.Runtime |
| xAnd | DDC.Core.Salt.Compounds |
| XAnnot | DDC.Core.Salt.Exp, DDC.Core.Salt |
| XApp | DDC.Core.Salt.Exp, DDC.Core.Salt |
| xApplyThunk | DDC.Core.Salt.Runtime |
| xArgsOfThunk | DDC.Core.Salt.Runtime |
| xBAnd | DDC.Core.Salt.Compounds |
| xBool | DDC.Core.Salt.Compounds |
| xBOr | DDC.Core.Salt.Compounds |
| xBXOr | DDC.Core.Salt.Compounds |
| XCase | DDC.Core.Salt.Exp, DDC.Core.Salt |
| XCast | DDC.Core.Salt.Exp, DDC.Core.Salt |
| xCastPtr | DDC.Core.Salt.Compounds |
| xChar | DDC.Core.Salt.Compounds |
| XCon | DDC.Core.Salt.Exp, DDC.Core.Salt |
| xConvert | DDC.Core.Salt.Compounds |
| xCopyArgsOfThunk | DDC.Core.Salt.Runtime |
| xCreate | DDC.Core.Salt.Compounds |
| xDiv | DDC.Core.Salt.Compounds |
| xEq | DDC.Core.Salt.Compounds |
| xErrorDefault | DDC.Core.Salt.Runtime |
| xExtendThunk | DDC.Core.Salt.Runtime |
| xFail | DDC.Core.Salt.Compounds |
| xFloat | DDC.Core.Salt.Compounds |
| xGe | DDC.Core.Salt.Compounds |
| xGetFieldOfBoxed | DDC.Core.Salt.Runtime |
| xGetTag | DDC.Core.Salt.Runtime |
| xGt | DDC.Core.Salt.Compounds |
| xInt | DDC.Core.Salt.Compounds |
| XLAM | DDC.Core.Salt.Exp, DDC.Core.Salt |
| XLam | DDC.Core.Salt.Exp, DDC.Core.Salt |
| xLe | DDC.Core.Salt.Compounds |
| XLet | DDC.Core.Salt.Exp, DDC.Core.Salt |
| xLt | DDC.Core.Salt.Compounds |
| xMod | DDC.Core.Salt.Compounds |
| xMul | DDC.Core.Salt.Compounds |
| xNat | DDC.Core.Salt.Compounds |
| xNeg | DDC.Core.Salt.Compounds |
| xNeq | DDC.Core.Salt.Compounds |
| xOr | DDC.Core.Salt.Compounds |
| xPayloadOfRaw | DDC.Core.Salt.Runtime |
| xPayloadOfSmall | DDC.Core.Salt.Runtime |
| xPeek | DDC.Core.Salt.Compounds |
| xPeekBounded | DDC.Core.Salt.Compounds |
| xPoke | DDC.Core.Salt.Compounds |
| xPokeBounded | DDC.Core.Salt.Compounds |
| XPrim | DDC.Core.Salt.Exp, DDC.Core.Salt |
| xPromote | DDC.Core.Salt.Compounds |
| xRead | DDC.Core.Salt.Compounds |
| xRem | DDC.Core.Salt.Compounds |
| xReturn | DDC.Core.Salt.Compounds |
| xRunThunk | DDC.Core.Salt.Runtime |
| xSetFieldOfBoxed | DDC.Core.Salt.Runtime |
| xSetFieldOfThunk | DDC.Core.Salt.Runtime |
| xShl | DDC.Core.Salt.Compounds |
| xShr | DDC.Core.Salt.Compounds |
| xSize | DDC.Core.Salt.Compounds |
| xStoreSize | DDC.Core.Salt.Compounds |
| xStoreSize2 | DDC.Core.Salt.Compounds |
| xSub | DDC.Core.Salt.Compounds |
| xTag | DDC.Core.Salt.Compounds |
| xTextLit | DDC.Core.Salt.Compounds |
| xTruncate | DDC.Core.Salt.Compounds |
| XVar | DDC.Core.Salt.Exp, DDC.Core.Salt |
| xWord | DDC.Core.Salt.Compounds |
| xWrite | DDC.Core.Salt.Compounds |