| =~= | Copilot.Core.Type.Equality |
| Abs | Copilot.Core.Operators, Copilot.Core |
| Acos | Copilot.Core.Operators, Copilot.Core |
| Acosh | Copilot.Core.Operators, Copilot.Core |
| Add | Copilot.Core.Operators, Copilot.Core |
| And | Copilot.Core.Operators, Copilot.Core |
| Asin | Copilot.Core.Operators, Copilot.Core |
| Asinh | Copilot.Core.Operators, Copilot.Core |
| Atan | Copilot.Core.Operators, Copilot.Core |
| Atanh | Copilot.Core.Operators, Copilot.Core |
| badUsage | Copilot.Core.Error, Copilot.Core |
| Bool | Copilot.Core.Type, Copilot.Core |
| boolFreq | Copilot.Core.Random.Weights |
| BwAnd | Copilot.Core.Operators, Copilot.Core |
| BwNot | Copilot.Core.Operators, Copilot.Core |
| BwOr | Copilot.Core.Operators, Copilot.Core |
| BwShiftL | Copilot.Core.Operators, Copilot.Core |
| BwShiftR | Copilot.Core.Operators, Copilot.Core |
| BwXor | Copilot.Core.Operators, Copilot.Core |
| C | Copilot.Core.Type.Show |
| c99HeaderName | Copilot.Compile.Header.C99 |
| Cast | Copilot.Core.Operators, Copilot.Core |
| choose | Copilot.Core.Random.Gen |
| coerce | Copilot.Core.Type.Equality |
| cong | Copilot.Core.Type.Equality |
| Const | Copilot.Core.Expr, Copilot.Core |
| constFreq | Copilot.Core.Random.Weights |
| Cos | Copilot.Core.Operators, Copilot.Core |
| Cosh | Copilot.Core.Operators, Copilot.Core |
| CSV | Copilot.Core.Interpret |
| Depth | Copilot.Core.Random.Weights |
| depth | Copilot.Core.Random.Gen |
| Div | Copilot.Core.Operators, Copilot.Core |
| divModFreq | Copilot.Core.Random.Weights |
| Double | Copilot.Core.Type, Copilot.Core |
| doubleFreq | Copilot.Core.Random.Weights |
| Drop | Copilot.Core.Expr, Copilot.Core |
| drop0Freq | Copilot.Core.Random.Weights |
| dropFreq | Copilot.Core.Random.Weights |
| DropIdx | Copilot.Core.Expr, Copilot.Core |
| Dynamic | Copilot.Core.Type.Dynamic |
| DynamicF | |
| 1 (Type/Class) | Copilot.Core.Type.Dynamic |
| 2 (Data Constructor) | Copilot.Core.Type.Dynamic |
| 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 |
| ExtArray | |
| 1 (Type/Class) | Copilot.Core.External, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.External, Copilot.Core |
| ExternArray | Copilot.Core.Expr, Copilot.Core |
| externArrayElemType | Copilot.Core.External, Copilot.Core |
| externArrayIdx | Copilot.Core.External, Copilot.Core |
| externArrayIdxType | Copilot.Core.External, Copilot.Core |
| externArrayName | Copilot.Core.External, Copilot.Core |
| externArrays | Copilot.Core.External, Copilot.Core |
| externArraySize | Copilot.Core.External, Copilot.Core |
| externArrayTag | Copilot.Core.External, 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 |
| Fdiv | Copilot.Core.Operators, Copilot.Core |
| Float | Copilot.Core.Type, Copilot.Core |
| floatFreq | Copilot.Core.Random.Weights |
| Format | Copilot.Core.Interpret |
| freq | Copilot.Core.Random.Gen |
| fromDyn | Copilot.Core.Type.Dynamic |
| fromDynF | Copilot.Core.Type.Dynamic |
| Ge | Copilot.Core.Operators, Copilot.Core |
| Gen | Copilot.Core.Random.Gen |
| genC99Header | Copilot.Compile.Header.C99 |
| Gt | Copilot.Core.Operators, Copilot.Core |
| Haskell | Copilot.Core.Type.Show |
| Id | Copilot.Core.Expr, Copilot.Core |
| impossible | Copilot.Core.Error, Copilot.Core |
| incDepth | Copilot.Core.Random.Gen |
| Int | Copilot.Core |
| Int16 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| int16Freq | Copilot.Core.Random.Weights |
| Int32 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| int32Freq | Copilot.Core.Random.Weights |
| Int64 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| int64Freq | Copilot.Core.Random.Weights |
| Int8 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| int8Freq | Copilot.Core.Random.Weights |
| interpObservers | Copilot.Core.Interpret.Eval |
| interpret | Copilot.Core.Interpret |
| interpTriggers | Copilot.Core.Interpret.Eval |
| Le | Copilot.Core.Operators, Copilot.Core |
| Loc | |
| 1 (Type/Class) | Copilot.Core.Locals |
| 2 (Data Constructor) | Copilot.Core.Locals |
| Local | Copilot.Core.Expr, Copilot.Core |
| localName | Copilot.Core.Locals |
| locals | Copilot.Core.Locals |
| localType | Copilot.Core.Locals |
| Log | Copilot.Core.Operators, Copilot.Core |
| Logb | Copilot.Core.Operators, Copilot.Core |
| Lt | Copilot.Core.Operators, Copilot.Core |
| makeTags | Copilot.Core.MakeTags, Copilot.Core |
| maxBuffSize | Copilot.Core.Random.Weights |
| maxExprDepth | Copilot.Core.Random.Weights |
| maxExtVars | Copilot.Core.Random.Weights |
| maxObservers | Copilot.Core.Random.Weights |
| maxTrigArgs | Copilot.Core.Random.Weights |
| maxTriggers | Copilot.Core.Random.Weights |
| Mod | Copilot.Core.Operators, Copilot.Core |
| Mul | Copilot.Core.Operators, Copilot.Core |
| Mux | Copilot.Core.Operators, Copilot.Core |
| Name | Copilot.Core.Expr, Copilot.Core |
| Ne | Copilot.Core.Operators, Copilot.Core |
| Not | Copilot.Core.Operators, Copilot.Core |
| numStreams | Copilot.Core.Random.Weights |
| Observer | |
| 1 (Type/Class) | Copilot.Core.Spec, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core |
| observerExpr | Copilot.Core.Spec, Copilot.Core |
| observerExprType | Copilot.Core.Spec, Copilot.Core |
| observerName | Copilot.Core.Spec, Copilot.Core |
| oneOf | Copilot.Core.Random.Gen |
| Op1 | |
| 1 (Type/Class) | Copilot.Core.Operators, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
| op1Freq | Copilot.Core.Random.Weights |
| Op2 | |
| 1 (Type/Class) | Copilot.Core.Operators, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
| op2Freq | Copilot.Core.Random.Weights |
| Op3 | |
| 1 (Type/Class) | Copilot.Core.Operators, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
| op3Freq | Copilot.Core.Random.Weights |
| Or | Copilot.Core.Operators, Copilot.Core |
| Output | Copilot.Core.Interpret.Eval |
| Pow | Copilot.Core.Operators, Copilot.Core |
| prettyPrint | Copilot.Core.PrettyPrint |
| randomFromType | Copilot.Core.Random.Gen |
| randomReplicate | Copilot.Core.Random.Gen |
| randomSpec | Copilot.Core.Random |
| ReadWit | |
| 1 (Type/Class) | Copilot.Core.Type.Read |
| 2 (Data Constructor) | Copilot.Core.Type.Read |
| readWit | Copilot.Core.Type.Read |
| readWithType | Copilot.Core.Type.Read |
| Recip | Copilot.Core.Operators, Copilot.Core |
| Refl | Copilot.Core.Type.Equality |
| refl | Copilot.Core.Type.Equality |
| renderAsCSV | Copilot.Core.Interpret.Render |
| renderAsTable | Copilot.Core.Interpret.Render |
| runGen | Copilot.Core.Random.Gen |
| SBool | Copilot.Core.Type, Copilot.Core |
| SDouble | Copilot.Core.Type, Copilot.Core |
| SFloat | Copilot.Core.Type, Copilot.Core |
| ShowType | Copilot.Core.Type.Show |
| showType | Copilot.Core.Type.Show |
| ShowWit | |
| 1 (Type/Class) | Copilot.Core.Type.Show |
| 2 (Data Constructor) | Copilot.Core.Type.Show |
| showWit | Copilot.Core.Type.Show |
| showWithType | Copilot.Core.Type.Show |
| Sign | Copilot.Core.Operators, Copilot.Core |
| SimpleType | Copilot.Core.Type, Copilot.Core |
| simpleType | Copilot.Core.Type, Copilot.Core |
| simpleWeights | Copilot.Core.Random.Weights |
| Sin | Copilot.Core.Operators, Copilot.Core |
| Sinh | Copilot.Core.Operators, Copilot.Core |
| SInt16 | Copilot.Core.Type, Copilot.Core |
| SInt32 | Copilot.Core.Type, Copilot.Core |
| SInt64 | Copilot.Core.Type, Copilot.Core |
| SInt8 | Copilot.Core.Type, Copilot.Core |
| Spec | |
| 1 (Type/Class) | Copilot.Core.Spec, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core |
| specObservers | Copilot.Core.Spec, Copilot.Core |
| specStreams | Copilot.Core.Spec, Copilot.Core |
| specTriggers | Copilot.Core.Spec, Copilot.Core |
| Sqrt | Copilot.Core.Operators, Copilot.Core |
| Stream | |
| 1 (Type/Class) | Copilot.Core.Spec, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core |
| streamBuffer | Copilot.Core.Spec, Copilot.Core |
| streamExpr | Copilot.Core.Spec, Copilot.Core |
| streamExprType | Copilot.Core.Spec, Copilot.Core |
| streamId | Copilot.Core.Spec, Copilot.Core |
| Sub | Copilot.Core.Operators, Copilot.Core |
| SWord16 | Copilot.Core.Type, Copilot.Core |
| SWord32 | Copilot.Core.Type, Copilot.Core |
| SWord64 | Copilot.Core.Type, Copilot.Core |
| SWord8 | Copilot.Core.Type, Copilot.Core |
| symm | Copilot.Core.Type.Equality |
| Table | Copilot.Core.Interpret |
| Tag | Copilot.Core.Expr, Copilot.Core |
| Tan | Copilot.Core.Operators, Copilot.Core |
| Tanh | Copilot.Core.Operators, Copilot.Core |
| toDyn | Copilot.Core.Type.Dynamic |
| toDynF | Copilot.Core.Type.Dynamic |
| trans | Copilot.Core.Type.Equality |
| Trigger | |
| 1 (Type/Class) | Copilot.Core.Spec, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core |
| triggerArgs | Copilot.Core.Spec, Copilot.Core |
| triggerGuard | Copilot.Core.Spec, Copilot.Core |
| triggerName | Copilot.Core.Spec, Copilot.Core |
| Type | Copilot.Core.Type, Copilot.Core |
| Typed | Copilot.Core.Type, Copilot.Core |
| typeOf | Copilot.Core.Type, Copilot.Core |
| UExpr | |
| 1 (Type/Class) | Copilot.Core.Expr, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
| uExprExpr | Copilot.Core.Expr, Copilot.Core |
| uExprType | Copilot.Core.Expr, Copilot.Core |
| uninitialized | Copilot.Core.Type.Uninitialized, Copilot.Core |
| UType | |
| 1 (Type/Class) | Copilot.Core.Type, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| uType | Copilot.Core.Type.Eq |
| uTypeType | Copilot.Core.Type, Copilot.Core |
| UVal | |
| 1 (Type/Class) | Copilot.Core.Type.Eq |
| 2 (Data Constructor) | Copilot.Core.Type.Eq |
| uVal | Copilot.Core.Type.Eq |
| Var | Copilot.Core.Expr, Copilot.Core |
| Weights | |
| 1 (Type/Class) | Copilot.Core.Random.Weights |
| 2 (Data Constructor) | Copilot.Core.Random.Weights |
| weights | Copilot.Core.Random.Gen |
| Word | Copilot.Core |
| Word16 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| word16Freq | Copilot.Core.Random.Weights |
| Word32 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| word32Freq | Copilot.Core.Random.Weights |
| Word64 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| word64Freq | Copilot.Core.Random.Weights |
| Word8 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| word8Freq | Copilot.Core.Random.Weights |