h& Safe-Inferredcopilot4Command line arguments supported by all commands in .copilot+A pretty printer of Copilot specifications.copilotA compiler from  0https://hackage.haskell.org/package/copilot-core Copilot Core specifications.copilotAn interpreter of Copilot specifications for a given number of simulation steps.copilot, please refer to that function for the command line options. Safe-Inferred  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~              ! " # $ % & ' ( ) *+ ,- ,. ,/ ,0 ,1 ,2 ,3 ,4 ,5 ,6 ,7 ,8 ,9 ,: ,; ,< ,= ,> ,? @ A B C D E F G H I J K L M N O P QR QS QT QU QV QW QX QY *Z *[ \] \^ \_ ` a ,b ,c ,d ,e ,f ,g ,h ,i ,j ,k ,l ,m ,n ,o ,p q r s t u v wx wy wz w{ |} |~                                                                                           \ \                  w w w w w                            Q        #copilot-3.16-FTlBOS4UfEX2yI8rECiKTgLanguage.Copilot.MainLanguage.Copilot copilotMain defaultMainCmdArgscmdargsPrinterCompiler Interpreterghc-primGHC.PrimseqbaseGHC.Listfilterzip System.IOprint Data.TuplefstsndGHC.Base otherwisemap$GHC.Real fromIntegral realToFracGHC.EnumBoundedmaxBoundminBoundEnumsuccpredenumFromThenTo enumFromTo enumFromThenenumFromfromEnumtoEnum GHC.ClassesEq GHC.FloatFloatingtanhtansqrtsinhsinpilogBaselogexpcoshcosatanhatanasinhasinacosh**acos Fractionalrecip fromRational/IntegralremquotRemquot toIntegerdivModMonad>>=return>>Functorfmap<$GHC.NumNumsignumabs*+negate fromInteger-OrdcompareGHC.ReadRead readsPrecreadListReal toRational RealFloat significand scaleFloatisNegativeZeroisNaN isInfiniteisIEEEisDenormalized floatRange floatRadix floatDigitsexponent encodeFloatatan2 decodeFloatRealFractruncateroundproperFractionceilingfloorGHC.ShowShowshowListshow showsPrecControl.Monad.Fail MonadFailfail Applicative<*pure*><*> Data.FoldableFoldablefoldMapproductnullminimummaximumfoldr1foldl1elemfoldlfoldrlengthData.Traversable TraversabletraversesequencemapM sequenceA Semigroup<>Monoidmemptymconcatmappend GHC.TypesBoolTrueFalseStringCharDoubleFloatIntGHC.IntInt8Int16Int32Int64 ghc-bignumGHC.Num.IntegerInteger GHC.MaybeMaybeNothingJustOrderingGTLTEQRationalIOWordGHC.WordWord8Word16Word32Word64 Data.EitherEitherRightLeftideithermapM_ Text.Readread writeFilereadLnreadIOreadFileputStrLnputStrputCharinteractgetLine getContentsgetChar appendFileGHC.IO.ExceptionioErrorGHC.IOFilePathIOError userError sequence_ornotElem concatMapconcatanyandall Data.OldListwordsunwordsunlineslinesreads readParenlexText.ParserCombinators.ReadPReadS byteSwap64 byteSwap32 byteSwap16 bitReverse8 bitReverse64 bitReverse32 bitReverse16GHC.BitsBits complement.&..|.oddlcmgcdeven^^ShowSshows showString showParenshowCharzipWith3zipWithzip3unzip3unzip takeWhiletailsplitAtspanscanr1scanrscanl1scanlreverse replicaterepeatlookuplastiterateinithead dropWhilebreak Data.Maybemaybe Data.Functor<$>uncurrycurrysubtractflipasTypeOf=<<.$!GHC.Err undefinederrorWithoutStackTraceerror'copilot-core-3.16-4ahgi9svAN7Gda3R35xw0Copilot.Core.ExprNameCopilot.Core.Typetysizetylength accessorname fieldnameStructtypenametoValuesValueFieldTypeArray SimpleTypeSStructSArraySDoubleSFloatSWord64SWord32SWord16SWord8SInt64SInt32SInt16SBoolSInt8TypedtypeOf simpleTypeUType uTypeTypeCopilot.Core.Type.Array arrayelemsarray,copilot-language-3.16-LRDO0Y76hOs1lgfFCLHEnECopilot.Language.Interpret interpretcsvCopilot.Language.Reifyreify Copilot.Language.Operators.Array.!!#Copilot.Language.Operators.Integral^moddiv"Copilot.Language.Operators.BitWise.>>..<<..^."Copilot.Language.Operators.Boolean==>xornot||&&falsetrueCopilot.Language.Operators.CastCastcast UnsafeCast unsafeCast#Copilot.Language.Operators.ConstantconstDconstFconstI64constI32constI16constI8constW64constW32constW16constW8constBconstantCopilot.Language.Operators.Eq/===!Copilot.Language.Operators.ExternexternDexternF externI64 externI32 externI16externI8 externW64 externW32 externW16externW8externBextern Copilot.Language.Operators.Labellabel Copilot.Language.Operators.LocallocalCopilot.Language.Operators.Mux ifThenElsemuxCopilot.Language.Operators.Ord><>=<=!Copilot.Language.Operators.Struct##Copilot.Language.Operators.Temporaldrop++Copilot.Language.SpecargtheorempropexistsforalltriggerobserverSpecCopilot.Language.StreamStreamCopilot.Language.ErrorbadUsage impossible-copilot-libraries-3.16-AgBnAuTnXM3BIS6n0LhWRyCopilot.Library.Voting aMajoritymajorityCopilot.Library.LTLreleaseuntil eventuallyalwaysnextCopilot.Library.StatisticsmeanNowmeanminmaxsumCopilot.Library.Utilscycle!!case'nscanr1nscanl1nscanrnscanlnfoldr1nfoldrnfoldl1nfoldltaketailsCopilot.Library.Stacksstack'stackCopilot.Library.RegExpcopilotRegexpB copilotRegexpCopilot.Library.PTLTLsinceeventuallyPrev alwaysBeenpreviousCopilot.Library.Clocksclk1clkphaseperiod