H6      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Safe   Safe  !"#$%&'  !"#$%&'&  !"#$%'   !"#$%&'Safe()*+,-.()*+,-.*()+,-.()*+,-.Safe/"A untyped type (no phantom type). */0123456789:;<=>?@ABCDEFGHIJKL/0123456789:;<=>?@ABCDEFGHIJKLALKJIHGFEDCB234/015@?>=<;:9876/012345 @?>=<;:9876A LKJIHGFEDCBSafeMMMMSafeNOPQRSTUNOPQRSTUQRSUNPOTNPOQRSTUSafeVTernary operators. XBinary operators. .VWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~.VWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~.n~}|{zyxwvutsrqpoXmlkjihgfedcba`_^]\[ZYVWVWXmlkjihgfedcba`_^]\[ZYn~}|{zyxwvutsrqpoSafe(A untyped expression (no phantom type).  A unique tag for external arrays/function calls.  An index for the drop operator. DA name of a trigger, an external variable, or an external function. A stream identifier.  SafeKA Copilot specification consists of a list of variables bound to anonymous J streams, a lost of anomymous streams, a list of observers, and a list of  triggers.  A trigger.  An observer.  A stream.  Safe  Safe  Safe SaferunGen takes a Gen a2, a max depth of the expression, the weights, and  the standard random generator. ETakes a list of pairs (weight, Gen), and choose the Gen based on the O weights. To get the frequency of choosing a Gen, sum up all the weights, and K choose c between 1 and the total. Now recurse down the list, choosing an  item only when c <7= weight. If not, subtract the current weight from c.         SafeSafeSafe/0123456789:;<=>?@ABCDEFGHIJKLMVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Trustworthy1Safe indexing (!!) on possibly infininite lists.  !"#$%&'()*+,-. !"#$%&'()*+,-. Trustworthy/0/0 Trustworthy$Interprets a Copilot specification. Safe 1234512345Safe6789:;<=>?@ABCDEFGHIJKLMNOPQ6789:;<=>?@ABCDEFGHIJKLMNOPQSafe'Pretty-prints a Copilot specification. RSTUVWXYZ[\] RSTUVWXYZ[\]Safe^_`abcdefghij^_`abcdefghijk !!"#$%&'()*+,-./0123456789:;<=>??@ABCDEEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdeffghijklmnopqrstuvwxyz{|}~jl                @                 `_^]\[ZY !"#$%&'()*+,-./012345667789::;;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgcopilot-core-2.1.1Copilot.Core.Type.EqualityCopilot.Core.Random.WeightsCopilot.Core.Type.DynamicCopilot.Core.TypeCopilot.Core.Type.UninitializedCopilot.Core.Type.ShowCopilot.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.RandomCopilot.Core.PrettyPrintCopilot.Compile.Header.C99 Copilot.Core EqualType=~=EqualReflcoercereflsymmtranscongWeights maxExprDepth maxBuffSize maxTriggers maxTrigArgs maxExtVars maxObservers numStreams constFreq extVarFreq drop0FreqdropFreq externFreqop1Freqop2Freqop3FreqboolFreqint8Freq int16Freq int32Freq int64Freq word8Freq word16Freq word32Freq word64Freq floatFreq doubleFreq divModFreqDepth simpleWeightsDynamicFDynamictoDynfromDyntoDynFfromDynFUType uTypeTypeTypedtypeOf simpleType SimpleTypeSDoubleSFloatSWord64SWord32SWord16SWord8SInt64SInt32SInt16SInt8SBoolTypeDoubleFloatWord64Word32Word16Word8Int64Int32Int16Int8Bool uninitializedShowTypeHaskellCShowWitshowWitshowType showWithTypeOp3MuxOp2BwShiftRBwShiftLBwXorBwOrBwAndGtLtGeLeNeEqLogbPowFdivDivModMulSubAddOrAndOp1CastBwNotAcoshAtanhAsinhCoshTanhSinhAcosAtanAsinCosTanSinLogSqrtExpRecipSignAbsNotUExpr uExprType uExprExprExpr ExternArray ExternFun ExternVarVarLocalDropConstTagDropIdxNameIdSpec specStreams specObservers specTriggersTrigger triggerName triggerGuard triggerArgsObserver observerName observerExprobserverExprTypeStreamstreamId streamBuffer streamExprstreamExprTypeExtFun externFunName externFunType externFunArgs externFunTagExtArrayexternArrayNameexternArrayElemTypeexternArrayIdxexternArrayIdxTypeexternArraySizeexternArrayTagExtVar externVarName externVarType externVars externArrays externFunsmakeTags impossiblebadUsageGenrunGendepthweightsincDepthrandomFromTyperandomReplicatechooseoneOffreqelementsUValuTypeuValEqWiteqWitReadWitreadWit readWithType ExecTraceinterpTriggersinterpObserversOutputEnveval renderAsTable renderAsCSVFormatCSVTable interpretLoc localName localTypelocals randomSpec prettyPrint genC99Header c99HeaderName $fTypedDouble $fTypedFloat $fTypedWord64 $fTypedWord32 $fTypedWord16 $fTypedWord8 $fTypedInt64 $fTypedInt32 $fTypedInt16 $fTypedInt8 $fTypedBool$fEqualTypeTypeexternVarsExprexternVarsUExprexternArraysExprexternArraysUExprexternFunsExprallnext mkTagsSpec mkTagsStrms mkTagsObsvs mkTagsTrigs mkTagsUExpr mkTagsExprMkGenstdGen $fMonadGen $fFunctorGen$fEqUValghc-prim GHC.TypesIntbaseGHC.IntWordGHC.Word safeIndexLocalEnvInterpException NoExtsInterpNotEnoughValues DivideByZeroArrayIdxOutofBoundsArrayWrongSize evalExpr_ evalExternVar evalArrayevalOp1evalOp2 catchZeroevalOp3initStrm evalStreams evalTrigger evalObserver evalExprs_$fExceptionInterpException$fShowInterpExceptionunfoldstep locsStream locsTrigger locsObserverlocsExpr $fShowLoc IntegralWitNumWit StreamEnv DynExtVarWrapType StreamInfo streamInfoIdstreamInfoTypestreamInfoBufferSizegenSpecgenTypegenTypeFromStreamInfo'sgenStreamInfo's genStream genTriggergenExpr genOp1Bool genOp1Num genOp2BoolgenOp2Eq genOp2Ord genOp2NumgenOp2Integral genOp3MuxstrmNameppExprppUExprppOp1ppOp2ppOp3ppInfixppPrefixppStream ppTrigger ppObserverppSpec c99Header ppHeaders ppObserversppTriggerPrototypesppExternalVariablesppExternalVariableppExternalArraysppExternalArrayppExternalFunctionsppExternalFunctiontypeSpecppStepunlines