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 |
Output | Copilot.Core.Interpret.Eval |