W A      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      Safe%&D   Safe%&ADOT      Safe%&ADT!A untyped type (no phantom type).* !"#$%&'()*+,-./0123456789: !"#-)$.%&'(*+,#$%&'()*+,-. !"  !"# $%&'()*+,-./0123456789:Safe%&AT<=>?@ABC<=>?@ABC?@AC<=>B<=>?@ABCSafe%&DDDDSafeEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcbEFGHIJKLMNOPQRSTUVWXYZ[\]^_`acEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcSafe%&OTdTernary operators.fBinary operators..defghijklmnopqrstuvwxyz{|}~.defqghijklmnoprstuvwxyz{|}~.|}~fghijklmnopqrstuvwxyz{dedefghijklmnopqrstuvwxyz{|}~Safe%&ATAn expression for Struct args'A untyped expression (no phantom type).0A unique tag for external arrays/function calls.An index for the drop operator.CA name of a trigger, an external variable, or an external function.A stream identifier. Safe%&ATA Copilot specification consists of a list of variables bound to anonymous streams, a list of anomymous streams, a list of observers, a list of triggers, and a list of structs.%Struct representation as a bit array. A property. A trigger. An observer. A stream.  TrustworthyAOT# !"#$%& !"#$%& Safe '()*+,-./ '()*+,-./ Safe Safe%&ATrunGen takes a Gen aQ, a max depth of the expression, the weights, and the standard random generator.(Takes a list of pairs (weight, Gen), and choose the Gen based on the weights. To get the frequency of choosing a Gen, sum up all the weights, and choose c between 1 and the total. Now recurse down the list, choosing an item only when c <= weight. If not, subtract the current weight from c.01 01Safe%&ATSafe%&ATSafe23456789:;<=> !"#-)$.%&'(*+,Ddefqghijklmnoprstuvwxyz{|}~Safe%&0?0Safe indexing (!!) on possibly infininite lists.@ABCDEFGHIJKLMNOPQR?  @ABCDEFGHIJKLMNOPQR?  Safe  ST      STSafe#Interprets a Copilot specification. TrustworthyAT UVWXUVWXSafe%&#Pretty-prints a Copilot expression.&Pretty-prints a Copilot specification.YZ[\]^_`abcdefghijYZ[\]^_`abcdefghijSafe%&&Pretty-prints a Copilot specification.klmnopqrstuvwklmnopqrstuvwSafe%&ATxyz{|}~xyz{|}~Safe%&OT !""##$%&'(()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUUVWXYZZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~zx                              ! " # $ % & ' ( ) * + , - . / 0 123456;56<56=56>23758?58@58A58B58958:58;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghiZ[\]jk^_ablmmnnopqqrrstuvwxyz{|}~)copilot-core-2.2.1-KBXFMiVzDC01KLfIHHLlK7Copilot.Core.Type.EqualityCopilot.Core.Type.DynamicCopilot.Core.TypeCopilot.Core.Type.ShowCopilot.Core.Type.UninitializedCopilot.Core.Random.WeightsCopilot.Core.OperatorsCopilot.Core.ExprCopilot.Core.SpecCopilot.Core.ExternalCopilot.Core.MakeTagsCopilot.Core.ErrorCopilot.Core.Random.GenCopilot.Core.Type.EqCopilot.Core.Type.ReadCopilot.Core.Interpret.EvalCopilot.Core.Interpret.RenderCopilot.Core.InterpretCopilot.Core.LocalsCopilot.Core.PrettyDotCopilot.Core.PrettyPrintCopilot.Core.RandomCopilot.Compile.Header.C99 Copilot.Core EqualType=~=EqualReflcoercereflsymmtranscongDynamicFDynamictoDynfromDyntoDynFfromDynFUType uTypeTypeTypedtypeOf simpleType SimpleTypeSBoolSInt8SInt16SInt32SInt64SWord8SWord16SWord32SWord64SFloatSDoubleTypeBoolInt8Int16Int32Int64Word8Word16Word32Word64FloatDouble $fTypedDouble $fTypedFloat $fTypedWord64 $fTypedWord32 $fTypedWord16 $fTypedWord8 $fTypedInt64 $fTypedInt32 $fTypedInt16 $fTypedInt8 $fTypedBool$fEqualTypeType$fEqSimpleTypeShowTypeCHaskellShowWitshowWitshowType showWithType uninitializedWeights maxExprDepth maxBuffSize maxTriggers maxTrigArgs maxExtVars maxObservers numStreams constFreq extVarFreq drop0FreqdropFreq externFreqop1Freqop2Freqop3FreqboolFreqint8Freq int16Freq int32Freq int64Freq word8Freq word16Freq word32Freq word64Freq floatFreq doubleFreq divModFreqDepth simpleWeightsOp3MuxOp2AndOrAddSubMulModDivFdivPowLogbEqNeLeGeLtGtBwAndBwOrBwXorBwShiftLBwShiftROp1NotAbsSignRecipExpSqrtLogSinTanCosAsinAtanAcosSinhTanhCoshAsinhAtanhAcoshBwNotCastSExprsnameuexprUExpr uExprType uExprExprExprConstDropLocalVar ExternVar ExternFun ExternArray ExternStructGetFieldLabelTagDropIdxNameIdSpec specStreams specObservers specTriggersspecProperties StructData structName structFieldsProperty propertyName propertyExprTrigger triggerName triggerGuard triggerArgsObserver observerName observerExprobserverExprTypeStreamstreamId streamBuffer streamExprstreamExprType ExtStructexternStructNameexternStructArgsexternStructTagExtFun externFunName externFunType externFunArgs externFunTagExtArrayexternArrayNameexternArrayElemTypeexternArrayIdxexternArrayIdxTypeexternArraySizeexternArrayTagExtVar externVarName externVarType externVars externArrays externFuns externStructsmakeTags impossiblebadUsageGenrunGendepthweightsincDepthrandomFromTyperandomReplicatechooseoneOffreqelements $fMonadGen$fApplicativeGen $fFunctorGenUValuTypeuValEqWiteqWit$fEqUValReadWitreadWit readWithType ExecTraceinterpTriggersinterpObserversOutputEnveval$fExceptionInterpException$fShowInterpException$fShowExecTrace renderAsTable renderAsCSVFormatTableCSV interpretLoc localName localTypelocals $fShowLocprettyPrintExprDotprettyPrintDotppExpr prettyPrint randomSpec genC99Header c99HeaderNameexternVarsExprexternVarsUExprexternArraysExprexternArraysUExprexternFunsExprexternFunsUExprexternStructsExprallnext mkTagsSpec mkTagsStrms mkTagsObsvs mkTagsTrigs mkTagsProps mkTagsSExpr mkTagsUExpr mkTagsExprMkGenstdGenghc-prim GHC.TypesIntbaseGHC.IntWordGHC.Word byteSwap64 byteSwap32 byteSwap16 safeIndexLocalEnvInterpExceptionArrayWrongSizeArrayIdxOutofBounds DivideByZeroNotEnoughValues NoExtsInterp evalExpr_ evalExternVar evalArrayevalOp1evalOp2 catchZeroevalOp3initStrm evalStreams evalTrigger evalObserver evalExprs_unfoldstep locsStream locsTrigger locsObserverlocsExpr mkExtTmpVar mkExtTmpTag tagExtract ppExprDotppUExprppOp1ppOp2ppOp3ppStream ppTriggerppUExprL ppObserver ppProperty ppStreamL ppTriggerL ppObserverL ppPropertyL ppSpecDotstrmNameppSExprppInfixppPrefixppSpec IntegralWitNumWit StreamEnv DynExtVarWrapType StreamInfo streamInfoIdstreamInfoTypestreamInfoBufferSizegenSpecgenTypegenTypeFromStreamInfo'sgenStreamInfo's genStream genTriggergenExpr genOp1Bool genOp1Num genOp2BoolgenOp2Eq genOp2Ord genOp2NumgenOp2Integral genOp3Mux c99Header ppHeaders ppObserversppTriggerPrototypesppExternalVariablesppExternalVariableppExternalArraysppExternalArrayppExternalFunctionsppExternalFunctionppExternalStructsppExternalStructtypeSpecppStepunlines