#2SafeDcopilot4Command 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.copilotQAn interpreter of Copilot specifications for a given number of simulation steps.copilot<Command line arguments handled by the Copilot main function.copilotECreate a main to either compile or interpret a copilot specification.KThis function must be provided an auxiliary function capable of compiling  0https://hackage.haskell.org/package/copilot-core Copilot Core! specifications for some target.5The command line program supports four main commands: --output/-o+: use the given compiler to produce C code. --justrun/-cp: execute a dry-run, which parses and converts the specification to core but does not produce any output. --print/-p!: pretty print the specification.--interpret/-i NUMA: interpret the specification for a given number of steps.copilotECreate a main function with a default interpreter and pretty printer.KThis function must be provided an auxiliary function capable of compiling  0https://hackage.haskell.org/package/copilot-core Copilot Core! specifications for some target.This function relies on >, please refer to that function for the command line options.Safe  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./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                                                \ \       !" #$%&$%'$%($%)$*+$*,$*-$./$%0$%0$%1$%2$%3$%4$%5$%6$%7$%8$%9$%:$%;$%<$%=$%>$%?$%@$%A$%B$%$%$%$%$%$%$%$%$%$%$%$%?$%C$%D$%E$%F$%G$%G$%H$%I$%I$*C$*J$*K$*LMNOMPQMPRMSTMSUMVWMXYMXZMX[M\]M\^M\_M\`M\aM\bM\cMdeMdfMdgMdhMdiMdjMdkMdlMdmMdnMdoMdpMqrMqsMtuMtvMtwMtxMtyMtzMt{Mt|Mt}Mt~MtMtMMMMMMMMMMMMMMMMMMMMMMMMMMMMcopilot-3.2.1-inplaceLanguage.Copilot.MainLanguage.Copilot copilotMain defaultMainCmdArgscmdargsPrinterCompiler Interpreterghc-primGHC.PrimseqbaseGHC.Listfilterzip System.IOprint Data.TuplefstsndGHC.Base otherwisemap$GHC.Real fromIntegral realToFracGHC.EnumBoundedmaxBoundminBoundEnumenumFrom enumFromThenenumFromThenTo enumFromTofromEnumpredsucctoEnum GHC.ClassesEq GHC.FloatFloating**piexplogsincosasinacosatansinhcoshasinhacoshatanhlogBasesqrttantanh Fractional fromRational/recipIntegral toIntegerquotquotRemdivModremMonad>>=>>returnFunctorfmap<$GHC.NumNum+*-negate fromIntegerabssignumOrdcompareGHC.ReadReadreadList readsPrecReal toRational RealFloat floatRadix floatDigits floatRange decodeFloat encodeFloatisNaN isInfiniteisDenormalizedisNegativeZeroisIEEEatan2exponent scaleFloat significandRealFracceilingfloorproperFractionroundtruncateGHC.ShowShowshow showsPrecshowListControl.Monad.Fail MonadFailfail Applicativepure<*>*><* Data.FoldableFoldablefoldrlengthnullelemfoldMapfoldlfoldl1foldr1maximumminimumproductData.Traversable TraversablemapMsequence sequenceAtraverse Semigroup<>Monoidmemptymappendmconcat GHC.TypesBoolFalseTrueCharDoubleFloatIntGHC.IntInt8Int16Int32Int64integer-wired-inGHC.Integer.TypeInteger GHC.MaybeMaybeNothingJustOrderingLTEQGTRationalIOWordGHC.WordWord8Word16Word32Word64 Data.EitherEitherLeftRightideitherStringShowS Text.ReadreadGHC.IO.ExceptionIOErrorGHC.IOFilePath writeFilereadLnreadIOreadFileputStrLnputStrputCharinteractgetLine getContentsgetChar appendFileshows showString showParenshowCharoddlcmgcd^^subtract userErroruncurrycurry Data.MaybemaybeGHC.Err undefinederrorWithoutStackTraceerrorasTypeOf$!evenzipWith3zipWithzip3unzip3unziptailsplitAtspanscanr1scanrscanl1scanlreverse replicaterepeatlookuplastiterateinithead dropWhilebreak takeWhile Data.Functor<$>flip.ornotElem concatMapconcatanyandall Data.BitsBits.&..|. complementioError byteSwap64 byteSwap32 byteSwap16reads readParenlex Data.OldListwordsunwordsunlineslines sequence_mapM_Text.ParserCombinators.ReadPReadS=<<copilot-core-3.2.1-inplaceCopilot.Core.Type accessorname fieldnametylengthtysizeCopilot.Core.Type.Arrayarray arrayelemssizeCopilot.Core.ExprNameField SimpleTypeSArraySBoolSDoubleSFloatSInt16SInt32SInt64SInt8SStructSWord16SWord32SWord64SWord8StructtoValuestypenameTypeArrayTypedtypeOf simpleTypeUType uTypeTypeValueFlattenflatten InnerTypecopilot-language-3.2.1-inplaceCopilot.Language prettyPrintCopilot.Language.ErrorbadUsage impossibleCopilot.Language.Interpretcsv interpret Copilot.Language.Operators.Array.!!"Copilot.Language.Operators.BitWise.<<..>>..^."Copilot.Language.Operators.Boolean&&==>falsenottruexor||#Copilot.Language.Operators.ConstantconstBconstDconstFconstI16constI32constI64constI8constW16constW32constW64constW8constantCopilot.Language.Operators.Eq/===!Copilot.Language.Operators.ExternexternexternBexternD externI16 externI32 externI64externI8 externW16 externW32 externW64externW8funArg#Copilot.Language.Operators.Integral^divmod Copilot.Language.Operators.Labellabel Copilot.Language.Operators.LocallocalCopilot.Language.Operators.Mux ifThenElsemuxCopilot.Language.Operators.Ord<<=>>=!Copilot.Language.Operators.Struct##Copilot.Language.Operators.Temporal++dropCopilot.Language.SpecargexistsforallobserverproptheoremtriggerCopilot.Language.Operators.CastCastcast UnsafeCast unsafeCastSpecCopilot.Language.StreamStreamCopilot.Language.Reifyreifycopilot-libraries-3.2.1-inplaceCopilot.Library.Clocksclkclk1periodphaseCopilot.Library.LTLalways eventuallynextreleaseuntilCopilot.Library.PTLTL alwaysBeeneventuallyPrevprevioussinceCopilot.Library.RegExp copilotRegexpcopilotRegexpBCopilot.Library.Stacksstackstack'Copilot.Library.StatisticsmaxmeanmeanNowminsumCopilot.Library.Utils!!case'cyclenfoldlnfoldl1nfoldrnfoldr1nscanlnscanl1nscanrnscanr1tailstakeCopilot.Library.Voting aMajoritymajority