Index

allocMetaTable	Copilot.Compile.C99.MetaTable
AssignInst
1 (Type/Class)	Copilot.Compile.C99.Witness
2 (Data Constructor)	Copilot.Compile.C99.Witness
assignInst	Copilot.Compile.C99.Witness
BitsEInst
1 (Type/Class)	Copilot.Compile.C99.Witness
2 (Data Constructor)	Copilot.Compile.C99.Witness
bitsEInst	Copilot.Compile.C99.Witness
c2aExpr	Copilot.Compile.C99.C2A
c2aType	Copilot.Compile.C99.C2A
c99DirName	Copilot.Compile.C99
c99FileRoot	Copilot.Compile.C99
checkSpec	Copilot.Compile.C99.Test.CheckSpec
compile	Copilot.Compile.C99
defaultParams	Copilot.Compile.C99.Params, Copilot.Compile.C99
driver	Copilot.Compile.C99.Test.Driver
dropFirstElemAndSnoc	Copilot.Compile.C99.Queue
EqEInst
1 (Type/Class)	Copilot.Compile.C99.Witness
2 (Data Constructor)	Copilot.Compile.C99.Witness
eqEInst	Copilot.Compile.C99.Witness
execTraceToIterations	Copilot.Compile.C99.Test.Iteration
ExprInst
1 (Type/Class)	Copilot.Compile.C99.Witness
2 (Data Constructor)	Copilot.Compile.C99.Witness
exprInst	Copilot.Compile.C99.Witness
ExternArrayInfo
1 (Type/Class)	Copilot.Compile.C99.MetaTable
2 (Data Constructor)	Copilot.Compile.C99.MetaTable
externArrayInfoElemType	Copilot.Compile.C99.MetaTable
externArrayInfoIdxExpr	Copilot.Compile.C99.MetaTable
externArrayInfoIdxType	Copilot.Compile.C99.MetaTable
externArrayInfoMap	Copilot.Compile.C99.MetaTable
externArrayInfoVar	Copilot.Compile.C99.MetaTable
ExternFunInfo
1 (Type/Class)	Copilot.Compile.C99.MetaTable
2 (Data Constructor)	Copilot.Compile.C99.MetaTable
externFunInfoArgs	Copilot.Compile.C99.MetaTable
ExternFunInfoMap	Copilot.Compile.C99.MetaTable
externFunInfoMap	Copilot.Compile.C99.MetaTable
externFunInfoType	Copilot.Compile.C99.MetaTable
externFunInfoVar	Copilot.Compile.C99.MetaTable
ExternInfo
1 (Type/Class)	Copilot.Compile.C99.MetaTable
2 (Data Constructor)	Copilot.Compile.C99.MetaTable
ExternInfoMap	Copilot.Compile.C99.MetaTable
externInfoMap	Copilot.Compile.C99.MetaTable
externInfoType	Copilot.Compile.C99.MetaTable
externInfoVar	Copilot.Compile.C99.MetaTable
FloatingEInst
1 (Type/Class)	Copilot.Compile.C99.Witness
2 (Data Constructor)	Copilot.Compile.C99.Witness
floatingEInst	Copilot.Compile.C99.Witness
IntegralEInst
1 (Type/Class)	Copilot.Compile.C99.Witness
2 (Data Constructor)	Copilot.Compile.C99.Witness
integralEInst	Copilot.Compile.C99.Witness
Iteration
1 (Type/Class)	Copilot.Compile.C99.Test.Iteration
2 (Data Constructor)	Copilot.Compile.C99.Test.Iteration
iterationOutputs	Copilot.Compile.C99.Test.Iteration
iterationsFromCSV	Copilot.Compile.C99.Test.ReadCSV
lookahead	Copilot.Compile.C99.Queue
MetaTable
1 (Type/Class)	Copilot.Compile.C99.MetaTable
2 (Data Constructor)	Copilot.Compile.C99.MetaTable
mkTmpExtFunVarName	Copilot.Compile.C99.Common
numberOfPhases	Copilot.Compile.C99.Phases
NumEInst
1 (Type/Class)	Copilot.Compile.C99.Witness
2 (Data Constructor)	Copilot.Compile.C99.Witness
numEInst	Copilot.Compile.C99.Witness
OrdEInst
1 (Type/Class)	Copilot.Compile.C99.Witness
2 (Data Constructor)	Copilot.Compile.C99.Witness
ordEInst	Copilot.Compile.C99.Witness
Params
1 (Type/Class)	Copilot.Compile.C99.Params, Copilot.Compile.C99
2 (Data Constructor)	Copilot.Compile.C99.Params, Copilot.Compile.C99
postCode	Copilot.Compile.C99.PrePostCode
preCode	Copilot.Compile.C99.PrePostCode
prefix	Copilot.Compile.C99.Params, Copilot.Compile.C99
Queue	Copilot.Compile.C99.Queue
queue	Copilot.Compile.C99.Queue
schedulePhases	Copilot.Compile.C99.Phases
size	Copilot.Compile.C99.Queue
StreamInfo
1 (Type/Class)	Copilot.Compile.C99.MetaTable
2 (Data Constructor)	Copilot.Compile.C99.MetaTable
StreamInfoMap	Copilot.Compile.C99.MetaTable
streamInfoMap	Copilot.Compile.C99.MetaTable
streamInfoQueue	Copilot.Compile.C99.MetaTable
streamInfoTempVar	Copilot.Compile.C99.MetaTable
streamInfoType	Copilot.Compile.C99.MetaTable
typeSpec	Copilot.Compile.C99.Common
verbose	Copilot.Compile.C99.Params, Copilot.Compile.C99
withPrefix	Copilot.Compile.C99.Params, Copilot.Compile.C99