#      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ SafeK copilot-core(Report an error due to a bug in Copilot. copilot-coreGReport an error due to an error detected by Copilot (e.g., user error). copilot-core5Name of the function in which the error was detected. copilot-core5Name of the package in which the function is located. copilot-coreDescription of the error.Safe&'.=?@AHUVXc  copilot-core,Flattening or conversion of arrays to lists. copilot-coreFlatten an array to a list. copilot-coreFAssociation between an array and the type of the elements it contains. copilot-coreCImplementation of an array that uses type literals to store length. copilot-core}Smart array constructor that only type checks if the length of the given list matches the length of the array at type level. copilot-core4Total number of elements in a possibly nested array. copilot-coreReturn the elemts of an array.  copilot-coreFlattening of nested arrays.  copilot-coreFlattening of plain arrays.Safe&'H!/  copilot-coreType equality. If the value of x =~= y is  Just Refl, then the two types x and y are equal. copilot-corePropositional equality. copilot-core0Safe coercion, which requires proof of equality. copilot-core Proof of propositional equality. copilot-core Symmetry. copilot-core Transitivity. copilot-core Congruence.   Safe&'EHSX)) copilot-core5Representation of a function accompanied by its type. copilot-core2Representation of a value accompanied by its type. copilot-core,Enclose a value and its type in a container. copilot-core'Extract a value from a dynamic. Return ( if the value is not of the given type. copilot-core/Enclose a function and its type in a container. copilot-core:Extract a value from a dynamic function container. Return ( if the value is not of the given type.Safe &'.=>?EHX?/ copilot-core!A untyped type (no phantom type).! copilot-core\A typed expression, from which we can obtain the two type representations used by Copilot: 2 and $.$ copilot-coreA simple, monomorphic representation of types that facilitates putting variables in heterogeneous lists and environments in spite of their types being different.2 copilot-corePA Type representing the types of expressions or values handled by Copilot Core.Note that both arrays and structs use dependently typed features. In the former, the length of the array is part of the type. In the latter, the names of the fields are part of the type.@ copilot-coreKA field in a struct. The name of the field is a literal at the type level.B copilot-coreBThe field of a struct, together with a representation of its type.D copilot-coreXThe value of that is a product or struct, defined as a constructor with several fields.E copilot-core2Returns the name of struct in the target language.F copilot-core9Transforms all the struct's fields into a list of values.G copilot-coreExtract the name of a field.H copilot-coreOExtract the name of an accessor (a function that returns a field of a struct).I copilot-core+Return the length of an array from its typeJ copilot-core8Return the total (nested) size of an array from its typeX copilot-core+Type equality, used to help type inference.- !"#$%&'()*+,-./0123=<845679:;>?@ABCDFEGHIJ-23=<845679:;>?!"# $%&'()*+,-./01JIBCF@AEDGHSafe&'EX@\]^_`ab`ab\]^_Safe&'SXE6d copilot-coreTernary operators.f copilot-coreBinary operators.} copilot-coreUnary operators.| copilot-core,Array access/projection of an array element. copilot-coreCasting operator. copilot-coreProjection of a struct field.0defmlqghijknoprstuvwxyz{|}~0}~fmlqghijknoprstuvwxyz{|deSafe&'EXP copilot-coreA untyped expression that carries the information about the type of the expression as a value, as opposed to exposing it at type level (using an existential). copilot-core6Internal representation of Copilot stream expressions.The Core representation mimics the high-level Copilot stream, but the Core representation contains information about the types of elements in the stream. 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]B copilot-coreA Copilot specification is a list of streams, together with monitors on these streams implemented as observers, triggers or properties. copilot-coreeA property, representing a boolean stream that is existentially or universally quantified over time. copilot-core^A trigger, representing a function we execute when a boolean stream becomes true at a sample. copilot-coreZAn observer, representing a stream that we observe during interpretation at every sample. copilot-core>A stream in an infinite succession of values of the same type.tStream can carry different types of data. Boolean streams play a special role: they are used by other parts (e.g., >) to detect when the properties being monitored are violated. Safe^H  TrustworthyESXd copilot-coreQAn extern variable declaration, together with the type of the underlying extern. copilot-core,List of all externs used in a specification. copilot-core1Extract all externs used in a Copilot expression. copilot-core>Extract all expressions used in an untyped Copilot expression. copilot-coreSApply a function to all expressions in a specification, concatenating the results. Safe&'EXe^ Safe&'EXl8 copilot-coreYTarget language for showing a typed value. Used to adapt the representation of booleans. copilot-core.Witness datatype for showing a value, used by . copilot-core Turn a type into a show witness. copilot-coreShow Copilot Core type. copilot-coreShow a value. The representation depends on the type and the target language. Booleans are represented differently depending on the backend.Safe&'n  copilot-coreInitial value for a given type.#Does not support structs or arrays.SafenJ !"#$%&'()*+,-./0123=<845679:;>?@ABCDFEGHIJdefmlqghijknoprstuvwxyz{|}~Safe&' copilot-coreMCreate a unique stream name by prefixing the given ID by a lowercase letter "s". copilot-core"Pretty-print a Copilot expression.?The type is ignored, and only the expression is pretty-printed. copilot-core#Pretty-print an untyped expression.?The type is ignored, and only the expression is pretty-printed. copilot-corePretty-print a unary operation. copilot-core Pretty-print a binary operation. copilot-core!Pretty-print a ternary operation. copilot-coreParenthesize two s, separated by an infix . copilot-core Prefix a  by a . copilot-corePretty-print a Copilot stream as a case of a top-level function for streams of that type, by pattern matching on the stream name. copilot-core8Pretty-print a Copilot trigger as a case of a top-level trigger4 function, by pattern matching on the trigger name.  copilot-core9Pretty-print a Copilot observer as a case of a top-level observer5 function, by pattern matching on the observer name.  copilot-core9Pretty-print a Copilot property as a case of a top-level property5 function, by pattern matching on the property name.  copilot-core=Pretty-print a Copilot specification, in the following order:Streams definitionsTrigger definitionsObserver definitionsProperty definitions copilot-core%Pretty-print a Copilot specification.Safe&'  copilot-core>Create a temporary/internal name from an extern variable name.  copilot-core;Pretty print a Copilot Expression as a GraphViz graph part. See the  _https://github.com/Copilot-Language/copilot-discussion/tree/master/TutorialAndDevGuide/DevGuidedevelopment guide for details. copilot-coreEPretty print an untyped Copilot Expression as a graphiViz graph part. See the  _https://github.com/Copilot-Language/copilot-discussion/tree/master/TutorialAndDevGuide/DevGuidedevelopment guide for details. copilot-corePretty print a unary operator. copilot-corePretty print a binary operator. copilot-core Pretty print a ternary operator. copilot-core/Pretty print a stream as a GraphViz graph part. copilot-core0Pretty print a trigger as a GraphViz graph part. copilot-coreMPretty print a list of untyped Copilot Expressions as a GraphViz graph part. copilot-core2Pretty print an observer as a GraphViz graph part. copilot-core1Pretty print a property as a GraphViz graph part. copilot-core8Pretty print a list of streams as a GraphViz graph part. copilot-core9Pretty print a list of triggers as a GraphViz graph part. copilot-core:Pretty print a list of observers as a GraphViz graph part. copilot-core;Pretty print a list of properties as a GraphViz graph part. copilot-core=Pretty-print a Copilot specification as a GraphViz/dot graph. copilot-core:Pretty-print a Copilot expression as a GraphViz/dot graph. copilot-core=Pretty-print a Copilot specification as a GraphViz/dot graph.   copilot-core*Index or ID of the next node in the graph. copilot-core,Index or ID of the parent node in the graph. copilot-coreMark externs with the prefix externV:. copilot-coreThe expression to pretty print. copilot-core*Index or ID of the next node in the graph. copilot-core,Index or ID of the parent node in the graph. copilot-coreMark externs with the prefix externV:. copilot-coreThe expression to pretty print. copilot-core*Index or ID of the next node in the graph. copilot-coreStream to pretty print copilot-core*Index or ID of the next node in the graph. copilot-coreTrigger to pretty print copilot-core*Index or ID of the next node in the graph. copilot-core,Index or ID of the parent node in the graph. copilot-coreMark externs with the prefix externV:. copilot-core(The list of expressions to pretty print. copilot-core*Index or ID of the next node in the graph. copilot-coreObserver to pretty print copilot-core*Index or ID of the next node in the graph. copilot-coreProperty to pretty print copilot-core*Index or ID of the next node in the graph. copilot-coreList of streams to pretty print copilot-core*Index or ID of the next node in the graph. copilot-core List of triggers to pretty print copilot-core*Index or ID of the next node in the graph. copilot-core!List of observers to pretty print copilot-core*Index or ID of the next node in the graph. copilot-core"List of properties to pretty print copilot-core*Index or ID of the next node in the graph. copilot-coreSpec to pretty print. copilot-coreMark externs with the prefix externV:. copilot-coreThe expression to pretty print. TrustworthyEX copilot-core=A local definition, with a given stream name and stream type. copilot-core4Obtain all the local definitions in a specification. copilot-core-Obtain all the local definitions in a stream. copilot-core.Obtain all the local definitions in a trigger. copilot-core0Obtain all the local definitions in an observer. copilot-core2Obtain all the local definitions in an expression. copilot-core Show the underlying stream name.Safe&'2>  copilot-core_An environment that contains an association between (stream or extern) names and their values. copilot-corefAn execution trace, containing the traces associated to each individual monitor trigger and observer. copilot-corezMap from trigger names to their optional output, which is a list of strings representing their values. The output may be  if the guard for the trigger was false. The order is important, since we compare the arg lists between the interpreter and backends. copilot-core)Map from observer names to their outputs. copilot-coreqThe simulation output is defined as a string. Different backends may choose to format their results differently. copilot-core_An environment that contains an association between (stream or extern) names and their values.! copilot-corePExceptions that may be thrown during interpretation of a Copilot specification." copilot-core Extern array has incorrect size.# copilot-coreIndex out-of-bounds exception.$ copilot-coreDivision by zero.% copilot-coreFor one or more streams, not enough values are available to simulate the number of steps requested. | NoExtFunEval Name& copilot-corerOne of the externs used by the specification does not declare sample values to be used during simulation. copilot-core/Evaluate a specification for a number of steps.' copilot-core^Evaluate an expression for a number of steps, obtaining the value of the sample at that time.( copilot-coreaEvaluate an extern stream for a number of steps, obtaining the value of the sample at that time.) copilot-core Evaluate an R by producing an equivalent Haskell function operating on the same types as the .* copilot-core Evaluate an R by producing an equivalent Haskell function operating on the same types as the .+ copilot-coreHApply a function to two numbers, so long as the second one is not zero.IUsed to detect attempts at dividing by zero and produce the appropriate !., copilot-core Evaluate an R by producing an equivalent Haskell function operating on the same types as the .- copilot-core<Turn a stream into a key-value pair that can be added to an  for simulation.. copilot-corehEvaluate several streams for a number of steps, producing the environment at the end of the evaluation./ copilot-core)Evaluate a trigger for a number of steps.0 copilot-core+Evaluate an observer for a number of steps.1 copilot-corezEvaluate an expression for a number of steps, producing a list with the changing value of the expression until that time.2 copilot-core0Safe indexing (!!) on possibly infininite lists. copilot-coreAllow throwing and catching !0 using Haskell's standard exception mechanisms. copilot-core,Show a descriptive message of the exception. copilot-coreShow booleans as 0/1 (C) or True/False (Haskell). copilot-coreNumber of steps to evaluate. copilot-coreSpecification to evaluate./ copilot-coreShow booleans as 0/1 (C) or True/False (Haskell). copilot-coreNumber of steps to evaluate. copilot-core;Environment to use with known stream-value associations. copilot-coreTrigger to evaluate.0 copilot-coreShow booleans as 01 (C) or TrueFalse (Haskell). copilot-coreNumber of steps to evaluate. copilot-core;Environment to use with known stream-value associations. copilot-coreObserver to evaluate.Safe copilot-coreIRender an execution trace as a table, formatted to faciliate readability. copilot-coreERender an execution trace as using comma-separate value (CSV) format.3 copilot-coreOPretty print all the steps of the execution trace and concatenate the results.4 copilot-corevPretty print the state of the triggers, and provide a continuation for the execution trace at the next point in time.5 copilot-core6Pad a string on the right to reach an expected length.6 copilot-core/Pad a list of strings on the right with spaces.6 copilot-coreMininum number of spaces to add copilot-coreMaximum number of spaces to add copilot-coreList of documents to padSafe` copilot-core?Output format for the results of a Copilot spec interpretation. copilot-core"Interpret a Copilot specification. copilot-core!Format to be used for the output. copilot-coreNumber of steps to interpret. copilot-coreSpecification to interpret.7 !"#$%&'()*+,-.//001234556789:;<=>?@ABCDEFGHIJKLMNOPQRSTUUVVTWXYZ[\]^_`abcdefghijklmnnopqqrstuvwxyz{|}~                     JKLMNOPQ        !"#$%&'()*+,-./copilot-core-3.2.1-inplaceCopilot.Core.ErrorCopilot.Core.Type.ArrayCopilot.Core.Type.EqualityCopilot.Core.Type.DynamicCopilot.Core.TypeCopilot.Core.Type.EqCopilot.Core.OperatorsCopilot.Core.ExprCopilot.Core.SpecCopilot.Core.MakeTagsCopilot.Core.ExternalCopilot.Core.Type.ReadCopilot.Core.Type.ShowCopilot.Core.Type.UninitializedCopilot.Core.PrettyPrintCopilot.Core.PrettyDotCopilot.Core.LocalsCopilot.Core.Interpret.EvalCopilot.Core.Interpret.RenderCopilot.Core.Interpret Copilot.CoreOp1Op2Op3 impossiblebadUsageFlattenflatten 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$fEqUValMuxAndOrAddSubMulModDivFdivPowLogbEqNeLeGeLtGtBwAndBwOrBwXorBwShiftLBwShiftRIndexNotAbsSignRecipExpSqrtLogSinTanCosAsinAtanAcosSinhTanhCoshAsinhAtanhAcoshBwNotCastGetFieldUExpr uExprType uExprExprExprConstDropLocalVar ExternVarLabelTagDropIdxNameIdSpec specStreams specObservers specTriggersspecPropertiesProperty propertyName propertyExprTrigger triggerName triggerGuard triggerArgsObserver observerName observerExprobserverExprTypeStreamstreamId streamBuffer streamExprstreamExprTypemakeTagsExtVar externVarName externVarType externVarsReadWitreadWit readWithTypeShowTypeCHaskellShowWitshowWitshowType showWithType uninitializedppExpr prettyPrintprettyPrintExprDotprettyPrintDotLoc localName localTypelocals $fShowLoc ExecTraceinterpTriggersinterpObserversOutputEnveval$fExceptionInterpException$fShowInterpException$fShowExecTrace renderAsTable renderAsCSVFormatTableCSV interpretbase GHC.MaybeNothingexternVarsExprexternVarsUExprallghc-prim GHC.TypesIntGHC.IntWordGHC.Word byteSwap16 byteSwap32 byteSwap64strmNameppUExprppOp1ppOp2ppOp3ppInfixpretty-1.1.3.6Text.PrettyPrint.HughesPJDocGHC.BaseStringppPrefixppStream ppTrigger ppObserver ppPropertyppSpec mkExtTmpVar ppExprDotppUExprL ppStreamL ppTriggerL ppObserverL ppPropertyL ppSpecDot locsStream locsTrigger locsObserverlocsExprLocalEnvInterpExceptionArrayWrongSizeArrayIdxOutofBounds DivideByZeroNotEnoughValues NoExtsInterp evalExpr_ evalExternVarevalOp1evalOp2 catchZeroevalOp3initStrm evalStreams evalTrigger evalObserver evalExprs_ safeIndexunfoldsteppadpad'