>*VM      !"#$%&'()*+,-./012 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G HIJKL  TrustworthyMNOPQMNOPMNOPQSafeRO(log n)D. Insert with a function for combining the new value and old value.  R f key value mp ( will insert the pair (key, value) into mp if the key does not exist F in the map. If the key does exist, the function will insert the pair  (key, f new_value old_value) SSame as R4, but with the combining function applied strictly. TO(log n)(. Lookup the value at a key in the map. 6The function will return the corresponding value as a (U value)  or V if the key isn't in the map. WO(log n). The expression (W def k map) returns  the value at key k or returns the default value def ! when the key is not in the map. XYZ[\]^_`aRSTbWXYZ[\]^_`aRSTbW XYZ[\]^_`aRSTbWSafecdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()VU*+,-./0123456Safe7 Dummy instance in order to make  an instance of . 8 Dummy instance in order to make  an instance of . 9:;<=>?@ABCDEFGH789:;<=>?@ABCDE9: EDCBA@?>=<;FGH78Safe IJKLMNOP IJKLMNOP IJKLMNOPSafe Q   QSafe    SafeSafeSafeSafeSafe Deprecated.  !"#$%&'()*+,-./01 !"#$%&'()*+,-./01 !"#$%&'()*+,-./01 !"#$%&'()*+,-./01 Safe23232323 Safe 456789:;<=>? 456789:;<=>? 456789:;<=>? 456789:;<=>? Safe$@RSTUVWXYZ[\]^_`abcdefghijklmnopqrst@@#RSTUVWXYZ[\]^_`abcdefghijklmnopqrst SafeABCDEFGABCDEFGCDEABFGABCDEFGSafeHIHIHISafeuvwxyz{|}~ uvwxyz{|}~u ~}|{zyxwvSafeSafeK6Much slower, but pretty-printed interpreter output. JKJKJKSafeL.cdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()VU*+,-./0123456  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKL HIJKLLSafe.cdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()VU*+,-./0123456  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKL !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ `abcde f f g h ijklmnmopqqrstuvwxyz{|}~}}}}}}}}}}}      !"#{$%&%'%(%)%*+,-./0123456789:;<=>l?@ABCDEFGHIJKLMNOPQRSTuUVWXmYmZ[\]^_`a}b}c}d}efghiijklmnopqrstuvwxxyyz{|}~                                   copilot-language-0.9"Copilot.Language.Operators.BitWiseCopilot.Language#Copilot.Language.Operators.TemporalCopilot.Language.Operators.OrdCopilot.Language.Operators.Mux#Copilot.Language.Operators.Integral Copilot.Language.Operators.Local!Copilot.Language.Operators.ExternCopilot.Language.Operators.Eq#Copilot.Language.Operators.ConstantCopilot.Language.Operators.Cast"Copilot.Language.Operators.BooleanSystem.Mem.StableName.DynamicSystem.Mem.StableName.MapCopilot.Language.PreludeCopilot.Language.StreamCopilot.Language.SpecCopilot.Language.ErrorCopilot.Language.AnalyzeCopilot.Language.ReifyCopilot.Language.InterpretCopilotbase Data.Bits complement.|..&.BitsStreamSpecobservertriggerarg.^..<<..>>.++drop<=>=<>mux ifThenElsedivmod^localextern externFun externArrayfunArgexternBexternW8 externW16 externW32 externW64externI8 externI16 externI32 externI64externFexternD externArrayB externArrayW8externArrayW16externArrayW32externArrayW64 externArrayI8externArrayI16externArrayI32externArrayI64 externArrayF externArrayD==/=constantconstBconstW8constW16constW32constW64constI8constI16constI32constI64constFconstDcasttruefalse&&||notxor==> impossiblebadUsagecsv interpret prettyPrint DynStableNamemakeDynStableNamehashDynStableName$fEqDynStableName insertWith insertWith'lookup Data.MaybeJustNothingfindWithDefaultMapgetMapgetSizeemptynull singletonmember notMemberinsertfindGHC.ErrerrorGHC.Basefoldrghc-primGHC.PrimseqGHC.Listconcatfilterzip System.IOprint Data.Tuplefstsnd otherwisemap$GHC.Num fromInteger-GHC.Real fromRationalGHC.EnumenumFrom enumFromThen enumFromToenumFromThenTonegatefail>>=>>fmapreturn fromIntegral realToFrac toInteger toRationalBoundedEnum GHC.ClassesEq GHC.FloatFloating FractionalIntegralMonadFunctorNumOrdGHC.ReadReadReal RealFloatRealFracGHC.ShowShow GHC.TypesBoolCharDoubleFloatInt integer-gmpGHC.Integer.TypeIntegerOrderingRationalIO Data.EitherEitherStringFalseTrueLeftRightLTEQGTPrelude$!readIOreadLn appendFile writeFilereadFileinteract getContentsgetLinegetCharputStrLnputStrputCharSystem.IO.ErrorcatchGHC.IO.ExceptionioError Text.Readreadreadseither Data.Listunwordswordsunlineslinesproductfoldl1minimummaximumlex readParenreadList readsPrecText.ParserCombinators.ReadPReadSacoshatanhasinhcoshtanhsinhacosatanasincostansinlogBase**logsqrtexppiatan2isIEEEisNegativeZeroisDenormalized isInfiniteisNaN scaleFloat significandexponent encodeFloat decodeFloat floatRange floatDigits floatRadixGHC.IOFilePath userErrorIOErrorlcmgcd^^oddevendivModquotRemremquotrecip/floorceilingroundtruncateproperFraction undefined Control.MonadmapM_mapM sequence_sequence=<<maxBoundminBoundfromEnumtoEnumpredsucc showParen showStringshowCharshowsShowSshowListshow showsPrecunzip3unzipzipWith3zipWithzip3 concatMapnotElemelemallanyorandreversebreakspansplitAt dropWhile takeWhile replicaterepeatiteratescanr1scanrfoldr1scanl1scanlfoldllengthinitlasttailheadmaybeMaybeuncurrycurrysubtractsignumabs*+asTypeOfflip.idcompare $fEqStream $fShowStreamArgOp3Op2Op1VarLocal ExternArray ExternFunExternDropConstAppend$fFloatingStream$fFractionalStream $fNumStreamTriggerObserverSpecItemrunSpec observerstriggers $fBitsStream$fCastInt64Int64$fCastInt32Int64$fCastInt32Int32$fCastInt16Int64$fCastInt16Int32$fCastInt16Int16$fCastInt8Int64$fCastInt8Int32$fCastInt8Int16$fCastInt8Int8$fCastWord64Word64$fCastWord32Int64$fCastWord32Word64$fCastWord32Word32$fCastWord16Int64$fCastWord16Int32$fCastWord16Word64$fCastWord16Word32$fCastWord16Word16$fCastWord8Int64$fCastWord8Int32$fCastWord8Int16$fCastWord8Word64$fCastWord8Word32$fCastWord8Word16$fCastWord8Word8$fCastBoolInt64$fCastBoolInt32$fCastBoolInt16$fCastBoolInt8$fCastBoolWord64$fCastBoolWord32$fCastBoolWord16$fCastBoolWord8$fCastBoolBoolAnalyzeExceptionBadFunctionArgTypeBadNumberOfArgs RedeclaredDifferentTypesTooMuchRecussion NestedArrayNestedExternFunDropMaxViolationReferentialCycleDropIndexOverflowDropAppliedToNonAppendanalyze$fExceptionAnalyzeException$fShowAnalyzeExceptionreifyGHC.IntInt8Int16Int32Int64GHC.WordWordWord8Word16Word32Word64copilot-core-0.2.4Copilot.Core.ExprNameCopilot.Core.TypeTyped