| && | Language.Copilot.Language, Language.Copilot |
| * | Language.Copilot.Language, Language.Copilot |
| + | Language.Copilot.Language, Language.Copilot |
| ++ | Language.Copilot.Language, Language.Copilot |
| - | Language.Copilot.Language, Language.Copilot |
| .= | Language.Copilot.Language, Language.Copilot |
| / | Language.Copilot.Language, Language.Copilot |
| /= | Language.Copilot.Language, Language.Copilot |
| < | Language.Copilot.Language, Language.Copilot |
| <= | Language.Copilot.Language, Language.Copilot |
| <> | Language.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot |
| == | Language.Copilot.Language, Language.Copilot |
| ==> | Language.Copilot.Language, Language.Copilot |
| > | Language.Copilot.Language, Language.Copilot |
| >= | Language.Copilot.Language, Language.Copilot |
| abs | Language.Copilot.Language, Language.Copilot |
| AllSpecSet | Language.Copilot.Analyser, Language.Copilot |
| always | Language.Copilot.Libs.LTL |
| alwaysBeen | Language.Copilot.Libs.PTLTL |
| Append | Language.Copilot.Core |
| ArgConstVar | Language.Copilot.Core |
| Args | Language.Copilot.Core |
| arrayInit | Language.Copilot.AdHocC |
| arrDecl | Language.Copilot.AdHocC |
| arrDecs | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| atomConstructor | Language.Copilot.Core |
| AtomToC | |
| 1 (Type/Class) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| 2 (Data Constructor) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| atomType | Language.Copilot.Core |
| BackEnd | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| BadDrop | Language.Copilot.Analyser, Language.Copilot |
| BadPArrSpec | Language.Copilot.Analyser, Language.Copilot |
| BadSyntax | Language.Copilot.Analyser, Language.Copilot |
| BadType | Language.Copilot.Analyser, Language.Copilot |
| BadTypeExt | Language.Copilot.Analyser, Language.Copilot |
| baseOpts | Language.Copilot.Interface, Language.Copilot |
| bMap | Language.Copilot.Core, Language.Copilot |
| Bool | Language.Copilot.Language, Language.Copilot |
| C | Language.Copilot.Core |
| c | Language.Copilot.Examples.LTLExamples |
| cast | Language.Copilot.Language.Casting, Language.Copilot.Language, Language.Copilot |
| check | Language.Copilot.Analyser, Language.Copilot |
| clock | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| cName | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| compile | Language.Copilot.Interface, Language.Copilot |
| compiler | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| Const | Language.Copilot.Core |
| const | Language.Copilot.Language, Language.Copilot |
| constD | Language.Copilot.Language, Language.Copilot |
| constF | Language.Copilot.Language, Language.Copilot |
| constI16 | Language.Copilot.Language, Language.Copilot |
| constI32 | Language.Copilot.Language, Language.Copilot |
| constI64 | Language.Copilot.Language, Language.Copilot |
| constI8 | Language.Copilot.Language, Language.Copilot |
| constW16 | Language.Copilot.Language, Language.Copilot |
| constW32 | Language.Copilot.Language, Language.Copilot |
| constW64 | Language.Copilot.Language, Language.Copilot |
| constW8 | Language.Copilot.Language, Language.Copilot |
| copilotToAtom | Language.Copilot.Compiler, Language.Copilot |
| DefaultVerbose | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| DependsOnClosePast | Language.Copilot.Analyser, Language.Copilot |
| DependsOnFuture | Language.Copilot.Analyser, Language.Copilot |
| dispatch | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| distrib | Language.Copilot.Examples.Examples |
| div | Language.Copilot.Language, Language.Copilot |
| div0 | Language.Copilot.Language, Language.Copilot |
| dMap | Language.Copilot.Core, Language.Copilot |
| Drop | Language.Copilot.Core |
| drop | Language.Copilot.Language, Language.Copilot |
| DropSpecSet | Language.Copilot.Analyser, Language.Copilot |
| emptySM | Language.Copilot.Core, Language.Copilot |
| engine | |
| 1 (Function) | Language.Copilot.Examples.Examples |
| 2 (Function) | Language.Copilot.Examples.PTLTLExamples |
| engineRun | Language.Copilot.Examples.PTLTLExamples |
| Error | Language.Copilot.Analyser, Language.Copilot |
| eventually | Language.Copilot.Libs.LTL |
| eventuallyPrev | Language.Copilot.Libs.PTLTL |
| Exs | Language.Copilot.Core |
| Ext | Language.Copilot.Core |
| extArrB | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extArrD | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extArrF | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extArrI16 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extArrI32 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extArrI64 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extArrI8 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extArrW16 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extArrW32 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extArrW64 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extArrW8 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extB | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extD | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| externalAtomConstructor | Language.Copilot.Core |
| extF | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extI16 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extI32 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extI64 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extI8 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| ExtRet | Language.Copilot.Core |
| ExtRetA | Language.Copilot.Core |
| ExtRetV | Language.Copilot.Core |
| ExtV | Language.Copilot.Core |
| extW16 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extW32 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extW64 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| extW8 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
| F | Language.Copilot.Core |
| F2 | Language.Copilot.Core |
| F3 | Language.Copilot.Core |
| False | Language.Copilot.Language, Language.Copilot |
| false | Language.Copilot.Language, Language.Copilot |
| fib | Language.Copilot.Examples.Examples |
| filterStreamableMaps | Language.Copilot.Core |
| fMap | Language.Copilot.Core, Language.Copilot |
| foldStreamableMaps | Language.Copilot.Core |
| Fractional | Language.Copilot.Language, Language.Copilot |
| fromInteger | Language.Copilot.Language, Language.Copilot |
| fromOp | Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot |
| Fun | Language.Copilot.Core |
| fun | Language.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot |
| funcDecl | Language.Copilot.AdHocC |
| funcShow | Language.Copilot.Core |
| FunSpecSet | Language.Copilot.Analyser, Language.Copilot |
| gccOpts | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| gcd | Language.Copilot.Examples.Examples |
| gcd' | Language.Copilot.Examples.Examples |
| getAtomType | Language.Copilot.Core |
| getElem | Language.Copilot.Core |
| getExternalVars | Language.Copilot.Analyser, Language.Copilot |
| getMaybeElem | Language.Copilot.Core |
| getMaybeVar | Language.Copilot.Core |
| getPeriod | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| getPrePostCode | Language.Copilot.AtomToC, Language.Copilot |
| getSends | Language.Copilot.Core |
| getSpecs | Language.Copilot.Core |
| getSubMap | Language.Copilot.Core |
| getTriggers | Language.Copilot.Core |
| getVars | Language.Copilot.Core |
| help | Language.Copilot.Interface, Language.Copilot |
| helpStr | Language.Copilot.Help, Language.Copilot |
| i16Map | Language.Copilot.Core, Language.Copilot |
| i32Map | Language.Copilot.Core, Language.Copilot |
| i64Map | Language.Copilot.Core, Language.Copilot |
| i8 | Language.Copilot.Examples.Examples |
| i8Map | Language.Copilot.Core, Language.Copilot |
| includeBracket | Language.Copilot.AdHocC |
| includeQuote | Language.Copilot.AdHocC |
| int16Chk | Language.Copilot.Libs.ErrorChks |
| interface | Language.Copilot.Interface, Language.Copilot |
| interpret | Language.Copilot.Interface, Language.Copilot |
| Interpreted | |
| 1 (Type/Class) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| 2 (Data Constructor) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| interpreted | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| Interpreter | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| interpretStreams | Language.Copilot.Interpreter, Language.Copilot |
| isEmptySM | Language.Copilot.Core |
| Iterations | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| LangElems | |
| 1 (Type/Class) | Language.Copilot.Core |
| 2 (Data Constructor) | Language.Copilot.Core |
| latest | Language.Copilot.Libs.Indexes |
| latestFail | Language.Copilot.Libs.Indexes |
| ltl | Language.Copilot.Libs.LTL |
| mapStreamableMaps | Language.Copilot.Core |
| mapStreamableMapsM | Language.Copilot.Core |
| max | Language.Copilot.Libs.Statistics |
| mean | Language.Copilot.Libs.Statistics |
| min | Language.Copilot.Libs.Statistics |
| mod | Language.Copilot.Language, Language.Copilot |
| mod0 | Language.Copilot.Language, Language.Copilot |
| mux | Language.Copilot.Language, Language.Copilot |
| Name | Language.Copilot.Core |
| negate | Language.Copilot.Language, Language.Copilot |
| next | Language.Copilot.Libs.LTL |
| nOneChk | Language.Copilot.Libs.ErrorChks |
| NonNegativeWeightedClosedPath | Language.Copilot.Analyser, Language.Copilot |
| noOpts | Language.Copilot.Interface, Language.Copilot |
| normalizeVar | Language.Copilot.Core |
| not | Language.Copilot.Language, Language.Copilot |
| notConstVarErr | Language.Copilot.Core, Language.Copilot.Language, Language.Copilot |
| NotInterpreted | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| nPosChk | Language.Copilot.Libs.ErrorChks |
| Num | Language.Copilot.Language, Language.Copilot |
| OnlyErrors | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| Operator | |
| 1 (Type/Class) | Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot |
| 2 (Data Constructor) | Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot |
| Operators | Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot |
| opsF | Language.Copilot.Language.RandomOps |
| opsF2 | Language.Copilot.Language.RandomOps |
| opsF3 | Language.Copilot.Language.RandomOps |
| Options | Language.Copilot.Interface, Language.Copilot |
| Opts | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| output | Language.Copilot.Examples.LTLExamples |
| outputDir | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| PArr | Language.Copilot.Core |
| PArrSet | Language.Copilot.Analyser, Language.Copilot |
| Period | Language.Copilot.Core |
| Port | |
| 1 (Type/Class) | Language.Copilot.Core |
| 2 (Data Constructor) | Language.Copilot.Core |
| port | Language.Copilot.Language, Language.Copilot |
| prePostCode | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| previous | Language.Copilot.Libs.PTLTL |
| printf | Language.Copilot.AdHocC |
| printfNewline | Language.Copilot.AdHocC |
| ptltl | Language.Copilot.Libs.PTLTL |
| PVar | Language.Copilot.Core |
| q1 | Language.Copilot.Examples.PTLTLExamples |
| q2 | Language.Copilot.Examples.PTLTLExamples |
| randomStreams | Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot |
| release | Language.Copilot.Libs.LTL |
| Send | |
| 1 (Type/Class) | Language.Copilot.Core |
| 2 (Data Constructor) | Language.Copilot.Core |
| send | Language.Copilot.Language, Language.Copilot |
| sendName | Language.Copilot.Core |
| sendPort | Language.Copilot.Core |
| sendVar | Language.Copilot.Core |
| setArrs | Language.Copilot.Interface, Language.Copilot |
| setC | Language.Copilot.Interface, Language.Copilot |
| setClock | Language.Copilot.Interface, Language.Copilot |
| setDir | Language.Copilot.Interface, Language.Copilot |
| setE | Language.Copilot.Interface, Language.Copilot |
| setGCC | Language.Copilot.Interface, Language.Copilot |
| setI | Language.Copilot.Interface, Language.Copilot |
| setN | Language.Copilot.Interface, Language.Copilot |
| setO | Language.Copilot.Interface, Language.Copilot |
| setP | Language.Copilot.Interface, Language.Copilot |
| setPP | Language.Copilot.Interface, Language.Copilot |
| setR | Language.Copilot.Interface, Language.Copilot |
| setV | Language.Copilot.Interface, Language.Copilot |
| showAsC | Language.Copilot.Core |
| signum | Language.Copilot.Language, Language.Copilot |
| since | Language.Copilot.Libs.PTLTL |
| SM | Language.Copilot.Core, Language.Copilot |
| snds | Language.Copilot.Core |
| soonest | Language.Copilot.Libs.Indexes |
| soonestFail | Language.Copilot.Libs.Indexes |
| Spec | Language.Copilot.Core, Language.Copilot |
| SpecSet | Language.Copilot.Analyser, Language.Copilot |
| Stream | Language.Copilot.Core |
| Streamable | Language.Copilot.Core |
| StreamableMaps | Language.Copilot.Core, Language.Copilot |
| Streams | Language.Copilot.Core, Language.Copilot |
| strms | Language.Copilot.Core |
| sum | Language.Copilot.Libs.Statistics |
| t0 | |
| 1 (Function) | Language.Copilot.Examples.StatExamples |
| 2 (Function) | Language.Copilot.Examples.LTLExamples |
| t1 | |
| 1 (Function) | Language.Copilot.Examples.Examples |
| 2 (Function) | Language.Copilot.Examples.LTLExamples |
| t11 | Language.Copilot.Examples.Examples |
| t3 | Language.Copilot.Examples.Examples |
| t4 | Language.Copilot.Examples.Examples |
| t5 | Language.Copilot.Examples.Examples |
| t99 | Language.Copilot.Examples.Examples |
| tAB | Language.Copilot.Examples.PTLTLExamples |
| tAlways | Language.Copilot.Examples.LTLExamples |
| tEP | Language.Copilot.Examples.PTLTLExamples |
| test | Language.Copilot.Interface, Language.Copilot |
| testArr | Language.Copilot.Examples.Examples |
| testCoercions | Language.Copilot.Examples.Examples |
| testCoercions2 | Language.Copilot.Examples.Examples |
| testCoercions3 | Language.Copilot.Examples.Examples |
| testing | Language.Copilot.Examples.LTLExamples |
| testRules | Language.Copilot.Examples.LTLExamples |
| tFuture | Language.Copilot.Examples.LTLExamples |
| tLatest | Language.Copilot.Examples.LTLExamples |
| tMean | Language.Copilot.Examples.StatExamples |
| tmpArrName | Language.Copilot.Compiler, Language.Copilot |
| tmpSampleStr | Language.Copilot.Compiler, Language.Copilot |
| tmpVarName | Language.Copilot.Compiler, Language.Copilot |
| tNext | Language.Copilot.Examples.LTLExamples |
| tprv | Language.Copilot.Examples.PTLTLExamples |
| trap | Language.Copilot.Examples.Examples |
| tRelease0 | Language.Copilot.Examples.LTLExamples |
| tRelease1 | Language.Copilot.Examples.LTLExamples |
| trigArgs | Language.Copilot.Core |
| Trigger | |
| 1 (Type/Class) | Language.Copilot.Core |
| 2 (Data Constructor) | Language.Copilot.Core |
| trigger | Language.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot |
| Triggers | Language.Copilot.Core |
| trigName | Language.Copilot.Core |
| trigs | Language.Copilot.Core |
| trigVar | Language.Copilot.Core |
| True | Language.Copilot.Language, Language.Copilot |
| true | Language.Copilot.Language, Language.Copilot |
| tSince | Language.Copilot.Examples.PTLTLExamples |
| tSinExt | Language.Copilot.Examples.PTLTLExamples |
| tSinExt2 | Language.Copilot.Examples.PTLTLExamples |
| tSoonest | Language.Copilot.Examples.LTLExamples |
| tstdat1Sin | Language.Copilot.Examples.PTLTLExamples |
| tstdat2Sin | Language.Copilot.Examples.PTLTLExamples |
| tstdatAB | Language.Copilot.Examples.PTLTLExamples |
| tstdatEP | Language.Copilot.Examples.PTLTLExamples |
| tstdatprv | Language.Copilot.Examples.PTLTLExamples |
| tUntil | Language.Copilot.Examples.LTLExamples |
| typeId | Language.Copilot.Core |
| typeIdPrec | Language.Copilot.Core |
| unit | Language.Copilot.Core |
| until | Language.Copilot.Libs.LTL |
| updateSubMap | Language.Copilot.Core |
| V | Language.Copilot.Core |
| Var | |
| 1 (Data Constructor) | Language.Copilot.Core |
| 2 (Type/Class) | Language.Copilot.Core |
| var | Language.Copilot.Language, Language.Copilot |
| varB | Language.Copilot.Language, Language.Copilot |
| varD | Language.Copilot.Language, Language.Copilot |
| varDecl | Language.Copilot.AdHocC |
| varF | Language.Copilot.Language, Language.Copilot |
| varI16 | Language.Copilot.Language, Language.Copilot |
| varI32 | Language.Copilot.Language, Language.Copilot |
| varI64 | Language.Copilot.Language, Language.Copilot |
| varI8 | Language.Copilot.Language, Language.Copilot |
| varInit | Language.Copilot.AdHocC |
| Vars | Language.Copilot.Core |
| varW16 | Language.Copilot.Language, Language.Copilot |
| varW32 | Language.Copilot.Language, Language.Copilot |
| varW64 | Language.Copilot.Language, Language.Copilot |
| varW8 | Language.Copilot.Language, Language.Copilot |
| Verbose | |
| 1 (Type/Class) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| 2 (Data Constructor) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| verify | Language.Copilot.Interface, Language.Copilot |
| void | Language.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot |
| vPre | Language.Copilot.Core |
| w16Map | Language.Copilot.Core, Language.Copilot |
| w32Map | Language.Copilot.Core, Language.Copilot |
| w64Map | Language.Copilot.Core, Language.Copilot |
| w8Map | Language.Copilot.Core, Language.Copilot |
| xx | Language.Copilot.Examples.Examples |
| yy | Language.Copilot.Examples.Examples |
| z | Language.Copilot.Examples.PTLTLExamples |
| zz | Language.Copilot.Examples.Examples |
| ^ | Language.Copilot.Language, Language.Copilot |
| || | Language.Copilot.Language, Language.Copilot |