!HP7#      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~       !"Safe SafeS    Safe&'.=?@AHUVX!"#$%&'$%"&!#'Safe&'H ,-./01234 ./,-01324Safe&'EHSX=56789:;<78569:;<Safe &'.=>?EHX= copilot-core!A untyped type (no phantom type).-=>?@ABCDEFGHIJKLMNOPQ][WR\STUVXYZ^_`abcdefghi-Q][WR\STUVXYZ^@AB=>?CDEFGHIJKLMNOPihabe_`dcfgSafe&'EX{|}~{|}~Safe&'EX copilot-corerunGen takes a Gen aQ, a max depth of the expression, the weights, and the standard random generator. copilot-core(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. Safe&'SX copilot-coreTernary operators. copilot-coreBinary operators.00 Safe&'EX$ copilot-core'A untyped expression (no phantom type). copilot-core0A unique tag for external arrays/function calls. copilot-coreAn index for the drop operator. copilot-coreCA name of a trigger, an external variable, or an external function. copilot-coreA stream identifier. Safe&'EX*V copilot-coreA 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. copilot-core A property. copilot-core A trigger. copilot-core An observer. copilot-core A stream. Safe+\  TrustworthyESX+ Safe&'EX,Safe&'EX- Safe&'-Safe-#$%&'()*+,-./!"#$%&'=>?@ABCDEFGHIJKLMNOPQ][WR\STUVXYZ^_`abcedfghiSafe&'EX0Safe&'2  copilot-core&Pretty-prints a Copilot specification.    Safe&'4   copilot-core#Pretty-prints a Copilot expression.  copilot-core&Pretty-prints a Copilot specification.     TrustworthyEX4|  Safe&'250 copilot-core0Safe indexing (!!) on possibly infininite lists.Safe6jSafe7v" copilot-core#Interprets a Copilot specification. !" !"1 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMMNNOPQRSSTUVWXYZ[\]^_`abcdefghijklmnopq<rssttruvwxyz{|}~                                                                                      !"#$%&'h&'i&'j&'k#$(&)l&)m&)n&)o&)*&)+&),-.&copilot-core-3.0-vldmMdW2aNBBl5R8fpOtbCopilot.Core.ErrorCopilot.Core.Random.WeightsCopilot.Core.Type.ArrayCopilot.Core.Type.EqualityCopilot.Core.Type.DynamicCopilot.Core.TypeCopilot.Core.Type.EqCopilot.Core.Random.GenCopilot.Core.OperatorsCopilot.Core.ExprCopilot.Core.SpecCopilot.Core.MakeTagsCopilot.Core.ExternalCopilot.Core.Type.ReadCopilot.Core.Type.ShowCopilot.Core.Type.UninitializedCopilot.Core.RandomCopilot.Core.PrettyPrintCopilot.Core.PrettyDotCopilot.Core.LocalsCopilot.Core.Interpret.EvalCopilot.Core.Interpret.RenderCopilot.Core.Interpret Copilot.Core impossiblebadUsageWeights maxExprDepth maxBuffSize maxTriggers maxTrigArgs maxExtVars maxObservers numStreams constFreq extVarFreq drop0FreqdropFreq externFreqop1Freqop2Freqop3FreqboolFreqint8Freq int16Freq int32Freq int64Freq word8Freq word16Freq word32Freq word64Freq floatFreq doubleFreq divModFreqDepth simpleWeightsFlattenflatten InnerTypeArrayarraysize arrayelems$fFoldableArray $fShowArray$fFlattenArrayb $fFlattenaa EqualType=~=EqualReflcoercereflsymmtranscongDynamicFDynamictoDynfromDyntoDynFfromDynFUType uTypeTypeTypedtypeOf simpleType SimpleTypeSBoolSInt8SInt16SInt32SInt64SWord8SWord16SWord32SWord64SFloatSDoubleSArraySStructTypeBoolInt8Int16Int32Int64Word8Word16Word32Word64FloatDoubleStructFieldValuetypenametoValues fieldname accessornametylengthtysize $fShowField $fTypedArray $fTypedDouble $fTypedFloat $fTypedWord64 $fTypedWord32 $fTypedWord16 $fTypedWord8 $fTypedInt64 $fTypedInt32 $fTypedInt16 $fTypedInt8 $fTypedBool$fEqSimpleType$fEqualTypeType$fShowt $fEqUTypeUValuTypeuValEqWiteqWit$fEqUValGenrunGendepthweightsincDepthrandomFromTyperandomReplicatechooseoneOffreqelements $fMonadGen$fApplicativeGen $fFunctorGenOp3MuxOp2AndOrAddSubMulModDivFdivPowLogbEqNeLeGeLtGtBwAndBwOrBwXorBwShiftLBwShiftRIndexOp1NotAbsSignRecipExpSqrtLogSinTanCosAsinAtanAcosSinhTanhCoshAsinhAtanhAcoshBwNotCastGetFieldUExpr uExprType uExprExprExprConstDropLocalVar ExternVar ExternFunLabelTagDropIdxNameIdSpec specStreams specObservers specTriggersspecPropertiesProperty propertyName propertyExprTrigger triggerName triggerGuard triggerArgsObserver observerName observerExprobserverExprTypeStreamstreamId streamBuffer streamExprstreamExprTypemakeTagsExtFun externFunName externFunType externFunArgs externFunTagExtVar externVarName externVarType externVars externFunsReadWitreadWit readWithTypeShowTypeCHaskellShowWitshowWitshowType showWithType uninitialized randomSpecppExpr prettyPrintprettyPrintExprDotprettyPrintDotLoc localName localTypelocals $fShowLoc ExecTraceinterpTriggersinterpObserversOutputEnveval$fExceptionInterpException$fShowInterpException$fShowExecTrace renderAsTable renderAsCSVFormatTableCSV interpretghc-prim GHC.TypesIntbaseGHC.IntWordGHC.Word byteSwap64 byteSwap32 byteSwap16 safeIndex