Îõ³h*Èï¤      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£4.07(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¤¥¦§¨©ª«¬­®¯°±²³´µ       !"#$%&'()*+,--..,/0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{||}~€‚ƒ„cJG…†‡ˆ‰‰Š‹ŒŽŽ‘‘’“”••–—˜™™š›œžŸ ¡¢"¡¢#¡¢$¡¢%¡£&¡£'¡£(¡£)žŸ¤¡£¥¡£¦¡£§¡£¨¡£©¡£ª¡£«¬'copilot-core-4.0-B9lCaMtDp2U7dmjeHjWFWhCopilot.Core.Type.ArrayCopilot.Core.TypeCopilot.Core.OperatorsCopilot.Core.ExprCopilot.Core.Spec copilot-core 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 streamExprstreamExprTypeghc-prim GHC.TypesIntbaseGHC.IntGHC.WordWord byteSwap16 byteSwap32 byteSwap64 bitReverse8 bitReverse16 bitReverse32 bitReverse64