Îõ³h*û¤      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£4.17(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;£}~ƒ„…€‚†‰ˆyz{|‡`abcdefghijklmnopqrstuvwxGSNMHIJKLOPQRTUVWXYZ[\]^_DEFžŸ ¡¢£Š‹ŒŽ™š›œ”•–—˜‘’“ !"$#%&'(  )*+-,.21/0¥¦§¨©ª«¬­®¯°±²³´µ¶     !"#$%&'()*+,- .//00.123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~~€‚ƒ„…†eLI‡ˆ‰Š‹‹ŒŽ‘’““”•–——˜™š››œžŸ ¡¢£¤¥ ¦$ ¦% ¦& ¦' §( §) §* §+£¤¨ §© §ª §« §¬ §­ §® §¯°'copilot-core-4.1-AmO8aBj2DIpDJhJBuTPoEjCopilot.Core.Type.ArrayCopilot.Core.TypeCopilot.Core.OperatorsCopilot.Core.ExprCopilot.Core.Spec copilot-core GHC.TypeLits sameSymbol Copilot.CoreArrayarray arrayElems arrayUpdate $fShowArrayUType uTypeTypeTypedtypeOf simpleType SimpleTypeSBoolSInt8SInt16SInt32SInt64SWord8SWord16SWord32SWord64SFloatSDoubleSArraySStructTypeBoolInt8Int16Int32Int64Word8Word16Word32Word64FloatDoubleStructFieldValuetypeNametoValues updateField fieldName accessorName typeLengthtypeSize $fShowField $fTypedArray $fTypedDouble $fTypedFloat $fTypedWord64 $fTypedWord32 $fTypedWord16 $fTypedWord8 $fTypedInt64 $fTypedInt32 $fTypedInt16 $fTypedInt8 $fTypedBool$fEqSimpleType$fTestEqualityTYPEType$fShowt $fEqUTypeOp3Mux UpdateArrayOp2AndOrAddSubMulModDivFdivPowLogbAtan2EqNeLeGeLtGtBwAndBwOrBwXorBwShiftLBwShiftRIndex UpdateFieldOp1NotAbsSignRecipExpSqrtLogSinTanCosAsinAtanAcosSinhTanhCoshAsinhAtanhAcoshCeilingFloorBwNotCastGetFieldUExpr uExprType uExprExprExprConstDropLocalVar ExternVarLabelDropIdxNameIdSpec specStreams specObservers specTriggersspecPropertiesProperty propertyName propertyExprTrigger triggerName triggerGuard triggerArgsObserver observerName observerExprobserverExprTypeStreamstreamId streamBuffer streamExprstreamExprTypebaseData.Type.Equality testEqualityghc-prim GHC.TypesIntGHC.IntGHC.WordWord byteSwap16 byteSwap32 byteSwap64 bitReverse8 bitReverse16 bitReverse32 bitReverse64