| elements | Copilot.Core.Random.Gen |
| Env | Copilot.Core.Interpret.Eval |
| Eq | Copilot.Core.Operators, Copilot.Core |
| Equal | Copilot.Core.Type.Equality |
| EqualType | Copilot.Core.Type.Equality |
| EqWit | |
| 1 (Type/Class) | Copilot.Core.Type.Eq |
| 2 (Data Constructor) | Copilot.Core.Type.Eq |
| eqWit | Copilot.Core.Type.Eq |
| eval | Copilot.Core.Interpret.Eval |
| ExecTrace | |
| 1 (Type/Class) | Copilot.Core.Interpret.Eval |
| 2 (Data Constructor) | Copilot.Core.Interpret.Eval |
| Exp | Copilot.Core.Operators, Copilot.Core |
| Expr | Copilot.Core.Expr, Copilot.Core |
| externFreq | Copilot.Core.Random.Weights |
| ExternFun | Copilot.Core.Expr, Copilot.Core |
| externFunArgs | Copilot.Core.External, Copilot.Core |
| externFunName | Copilot.Core.External, Copilot.Core |
| externFuns | Copilot.Core.External, Copilot.Core |
| externFunTag | Copilot.Core.External, Copilot.Core |
| externFunType | Copilot.Core.External, Copilot.Core |
| ExternVar | Copilot.Core.Expr, Copilot.Core |
| externVarName | Copilot.Core.External, Copilot.Core |
| externVars | Copilot.Core.External, Copilot.Core |
| externVarType | Copilot.Core.External, Copilot.Core |
| ExtFun | |
| 1 (Type/Class) | Copilot.Core.External, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.External, Copilot.Core |
| ExtVar | |
| 1 (Type/Class) | Copilot.Core.External, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.External, Copilot.Core |
| extVarFreq | Copilot.Core.Random.Weights |