Îõ³h*-–(ì±      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°4.27(c) 2011 National Institute of Aerospace / Galois, Inc.Safe )*1ÍÚÛÝ copilot-coreÃImplementation 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-core Return the elements of an array. copilot-core)Update element of array to given element.A stream in an infinite succession of values of the same type.ôStream 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.«¬­®¯°¦§¨©ª¡¢£¤¥—˜™š›œžŸ «¬­®¯°¦§¨©ª¡¢£¤¥—˜™š›œžŸ 7Intermediate representation for Copilot specifications.7(c) 2011 National Institute of Aerospace / Galois, Inc.Safe'þ§Š‹‘’ŒŽ“–•†‡ˆ‰”mnopqrstuvwxyz{|}~€‚ƒ„…T`[ZUVWXY\]^_abcdefghijklQRS«¬­®¯°—˜™š›œ¦§¨©ª¡¢£¤¥žŸ  !"$#%&'(  )*+-,.62143/05ÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔ       !"#$%&'()*+,--..,/0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰‰Š‹ŒŽ‘pWT’“”•––—˜™š››œžžŸ ¡¢¢£¤¥¦¦§¨©ª«¬­®¯°±²³´µ³´¶·¸¬¹º¬»¼¬­½¬­¾¬­¿¬­À¬­Á¬­Â³´Ã¬Ä"¬Ä#¬Ä$¬Ä%¬Å&¬Å'¬Å(¬Å)³´Æ¬ÅǬÅȬÅɬÅʬÅˬÅ̬ÅÍÎ'copilot-core-4.2-DoUAIpwAPboI0TEEsQW9gmCopilot.Core.Type.ArrayCopilot.Core.TypeCopilot.Core.OperatorsCopilot.Core.ExprCopilot.Core.Spec copilot-core Copilot.CoreArrayarray arrayElems arrayUpdate $fShowArrayUType uTypeTypeTypedtypeOf simpleType SimpleTypeSBoolSInt8SInt16SInt32SInt64SWord8SWord16SWord32SWord64SFloatSDoubleSArraySStructTypeBoolInt8Int16Int32Int64Word8Word16Word32Word64FloatDoubleStructFieldValuetypeNametoValues updateField fieldName accessorName typeLengthtypeSizetypeNameDefaulttoValuesDefaultupdateFieldDefault typeOfDefault $fShowField $fTypedArray $fTypedDouble $fTypedFloat $fTypedWord64 $fTypedWord32 $fTypedWord16 $fTypedWord8 $fTypedInt64 $fTypedInt32 $fTypedInt16 $fTypedInt8 $fTypedBool$fEqSimpleType$fTestEqualityTYPEType$fShowt $fEqUType $fGDatatypeM1 $fGStructK1 $fGStruct:*: $fGStructM1 $fGStructU1$fGTypedStructK1$fGTypedStruct:*:$fGTypedStructM1$fGTypedStructU1Op3Mux UpdateArrayOp2AndOrAddSubMulModDivFdivPowLogbAtan2EqNeLeGeLtGtBwAndBwOrBwXorBwShiftLBwShiftRIndex UpdateFieldOp1NotAbsSignRecipExpSqrtLogSinTanCosAsinAtanAcosSinhTanhCoshAsinhAtanhAcoshCeilingFloorBwNotCastGetFieldUExpr uExprType uExprExprExprConstDropLocalVar ExternVarLabelDropIdxNameIdSpec specStreams specObservers specTriggersspecPropertiesProperty propertyName propertyExprTrigger triggerName triggerGuard triggerArgsObserver observerName observerExprobserverExprTypeStreamstreamId streamBuffer streamExprstreamExprType GTypedStructbase GHC.GenericsGenericgStructPlaceholderGStruct gToValues gUpdateFieldghc-prim GHC.TypesTrueFalse GDatatype gTypeName GHC.TypeLits sameSymbolData.Type.Equality testEqualityD1DatatypeK1:*:M1U1IntGHC.IntGHC.WordWord byteSwap16 byteSwap32 byteSwap64 bitReverse8 bitReverse16 bitReverse32 bitReverse64