| 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 |