Index
| Abs | Copilot.Core.Operators, Copilot.Core |
| accessorName | Copilot.Core.Type, 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 |
| Array | |
| 1 (Type/Class) | Copilot.Core.Type.Array, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| array | Copilot.Core.Type.Array, Copilot.Core |
| arrayElems | Copilot.Core.Type.Array, Copilot.Core |
| arrayUpdate | Copilot.Core.Type.Array, Copilot.Core |
| Asin | Copilot.Core.Operators, Copilot.Core |
| Asinh | Copilot.Core.Operators, Copilot.Core |
| Atan | Copilot.Core.Operators, Copilot.Core |
| Atan2 | Copilot.Core.Operators, Copilot.Core |
| Atanh | Copilot.Core.Operators, Copilot.Core |
| bitReverse16 | Copilot.Core |
| bitReverse32 | Copilot.Core |
| bitReverse64 | Copilot.Core |
| bitReverse8 | Copilot.Core |
| Bool | Copilot.Core.Type, Copilot.Core |
| 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 |
| byteSwap16 | Copilot.Core |
| byteSwap32 | Copilot.Core |
| byteSwap64 | Copilot.Core |
| Cast | Copilot.Core.Operators, Copilot.Core |
| Ceiling | Copilot.Core.Operators, Copilot.Core |
| Const | Copilot.Core.Expr, Copilot.Core |
| Cos | Copilot.Core.Operators, Copilot.Core |
| Cosh | Copilot.Core.Operators, Copilot.Core |
| Div | Copilot.Core.Operators, Copilot.Core |
| Double | Copilot.Core.Type, Copilot.Core |
| Drop | Copilot.Core.Expr, Copilot.Core |
| DropIdx | Copilot.Core.Expr, Copilot.Core |
| Eq | Copilot.Core.Operators, Copilot.Core |
| Exists | Copilot.Core.Spec, Copilot.Core |
| Exp | Copilot.Core.Operators, Copilot.Core |
| Expr | Copilot.Core.Expr, Copilot.Core |
| ExternVar | Copilot.Core.Expr, Copilot.Core |
| extractProp | Copilot.Core.Spec, Copilot.Core |
| Fdiv | Copilot.Core.Operators, Copilot.Core |
| Field | |
| 1 (Type/Class) | Copilot.Core.Type, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| fieldName | Copilot.Core.Type, Copilot.Core |
| Float | Copilot.Core.Type, Copilot.Core |
| Floor | Copilot.Core.Operators, Copilot.Core |
| Forall | Copilot.Core.Spec, Copilot.Core |
| Ge | Copilot.Core.Operators, Copilot.Core |
| GetField | Copilot.Core.Operators, Copilot.Core |
| Gt | Copilot.Core.Operators, Copilot.Core |
| Id | Copilot.Core.Expr, Copilot.Core |
| Index | Copilot.Core.Operators, Copilot.Core |
| Int | Copilot.Core |
| Int16 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| Int32 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| Int64 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| Int8 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| Label | Copilot.Core.Expr, Copilot.Core |
| Le | Copilot.Core.Operators, Copilot.Core |
| Local | Copilot.Core.Expr, Copilot.Core |
| Log | Copilot.Core.Operators, Copilot.Core |
| Logb | Copilot.Core.Operators, Copilot.Core |
| Lt | Copilot.Core.Operators, Copilot.Core |
| 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 |
| 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 |
| Op1 | |
| 1 (Type/Class) | Copilot.Core.Operators, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
| Op2 | |
| 1 (Type/Class) | Copilot.Core.Operators, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
| Op3 | |
| 1 (Type/Class) | Copilot.Core.Operators, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Expr, Copilot.Core |
| Or | Copilot.Core.Operators, Copilot.Core |
| Pow | Copilot.Core.Operators, Copilot.Core |
| Prop | Copilot.Core.Spec, Copilot.Core |
| Property | |
| 1 (Type/Class) | Copilot.Core.Spec, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Spec, Copilot.Core |
| propertyName | Copilot.Core.Spec, Copilot.Core |
| propertyProp | Copilot.Core.Spec, Copilot.Core |
| Recip | Copilot.Core.Operators, Copilot.Core |
| SArray | Copilot.Core.Type, Copilot.Core |
| SBool | Copilot.Core.Type, Copilot.Core |
| SDouble | Copilot.Core.Type, Copilot.Core |
| SFloat | Copilot.Core.Type, Copilot.Core |
| Sign | Copilot.Core.Operators, Copilot.Core |
| SimpleType | Copilot.Core.Type, Copilot.Core |
| simpleType | Copilot.Core.Type, Copilot.Core |
| 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 |
| specProperties | Copilot.Core.Spec, Copilot.Core |
| specStreams | Copilot.Core.Spec, Copilot.Core |
| specTriggers | Copilot.Core.Spec, Copilot.Core |
| Sqrt | Copilot.Core.Operators, Copilot.Core |
| SStruct | Copilot.Core.Type, 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 |
| Struct | |
| 1 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| 2 (Type/Class) | Copilot.Core.Type, 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 |
| Tan | Copilot.Core.Operators, Copilot.Core |
| Tanh | Copilot.Core.Operators, Copilot.Core |
| toValues | Copilot.Core.Type, Copilot.Core |
| toValuesDefault | Copilot.Core.Type, Copilot.Core |
| 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 |
| typeLength | Copilot.Core.Type, Copilot.Core |
| typeName | Copilot.Core.Type, Copilot.Core |
| typeNameDefault | Copilot.Core.Type, Copilot.Core |
| typeOf | Copilot.Core.Type, Copilot.Core |
| typeOfDefault | Copilot.Core.Type, Copilot.Core |
| typeSize | 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 |
| UpdateArray | Copilot.Core.Operators, Copilot.Core |
| UpdateField | Copilot.Core.Operators, Copilot.Core |
| updateField | Copilot.Core.Type, Copilot.Core |
| updateFieldDefault | Copilot.Core.Type, Copilot.Core |
| UType | |
| 1 (Type/Class) | Copilot.Core.Type, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| uTypeType | Copilot.Core.Type, Copilot.Core |
| Value | |
| 1 (Type/Class) | Copilot.Core.Type, Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| Var | Copilot.Core.Expr, Copilot.Core |
| Word | Copilot.Core |
| Word16 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| Word32 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| Word64 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |
| Word8 | |
| 1 (Type/Class) | Copilot.Core |
| 2 (Data Constructor) | Copilot.Core.Type, Copilot.Core |