\D      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None-Beta reduction for types (applied to lambdas)AReduces a type variable in an expression by applying it to a typeNoneNone 3457N$NoneN_For all used constructors in expressions and patterns, return the TyCons they originate fromNone NoneShows something outputableYIs this Id a "constructor" to a newtype? This is the only way I have found to do it...)Is this Id a data or newtype constructor?iNote: cannot run isDataConWorkId on things that aren't isId, then we get a panic from idDetails.(mainly from type variables) None  3457NMaybe the unfolding of an Id NoneMN   None* 3A representation of identifiers that come from GHC.The ( instance is one way to print the names.     None 345N*The binders in our translated expressions.We cannot use  'Var'/'Id' because s do not have them, and )s does not necessarily have a unique. s have, just as  'Var'/'Id', a  in them.0The types need to be remembered so we used typed)The list of var is the variables in scopeTranslate a definitionCThis does not work when f = g when it "should" be f = / a . g @aTranslating variablesNeed to conflate worker and wrapper data constructors otherwise they might differ from case alternatives (example: created tuples in partition's where clause) It is unclear what disasters this might bring.Translating expressionsGHC Core allows application of types to arbitrary expressions, but this language only allows application of types to variables.The type variables applied to constructors in case patterns is not immediately available in GHC Core, so this has to be reconstructed.               None   None KTranslates a property that has been translated to a simple function earlier;Tries to "parse" a property in the simple expression formatSafeDebugging flags ParametersDirectories to includeDebugging flagsOnly consider these propertiesExtra names to considerDefault (empty) parameters  None NOIf the file cannot be read as a TIP file, it is instead read as a Haskell file.5Transforms a Haskell file to a Tip Theory or an error  Safe35KL &The property data type'Equality( Inequality)A synonym for ', but for booleans* Implication+ Conjunction, Disjunction-Negation.Question (same as negation)/Universal quantification0Existential quantification  !!""##$$%%&&'()*+,-./0'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ !"#$%&'()*+,-./0&%$#"! '()*+,-./0  !!""##$$%%&&'()*+,-./0'()*+,-.%'(*+,Safe+35 Miscellaneouse123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~/0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~o456712389:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrtsuvwxyz{|}~ c123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~56;<=>?@ABCD   ! " # $ % &'()**+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                     ! " # $ % & ' ( ) *+,-./012345678956789:;<=>?@ABCDEFDEGDEHDEIDEJDEKDLMDLNDLODLPDLQDLRDLSDLTDLUDLVDLWDLXDLYDLZDL[DL[DL\DL]DL^DL_DL`DLaDLbDLcDLdDLeDLfDLgDLhDLiDLjDLkDlmDlnDloDlpDlqDlrDlsDltDluDlvDlwDlxDlyDlzDl{Dl|Dl}Dl~DlDlDlDlDlDlDlDlDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDtipha_JsGS2ezL0BQ6qBKNeKjA1D Tip.PreludeTip.HaskellFrontendTip Tip.TyAppBetaTip.DataConPatternTip.GenericInstancesTip.FreeTyCons Tip.Uniquify Tip.GHCUtils Tip.DictsTip.RemoveDefaultTip.Id Tip.CoreToTip Tip.ParseDSL Tip.Property Tip.Paramsghc-prim GHC.TypesBoolIntbase Data.EitherEitherFalseTrueLeftRightGHC.BaseJustNothingMaybeId GHCOrigin LiftedFromEtaDiscrimProjectError DebugFlag PrintCorePrintInitialTheoryParamsinclude debug_flags prop_names extra_namescommaSep parseParams defaultParams debugHelpreadHaskellOrTipFilereadHaskellFileExistsForallNegOrAnd:=>:Equality====/=bool==>.&&..||.negquestionforAllexistsNatZS otherwise&&||notevendoublehalf+*^-<<=>>===/=maxmintakedropsplitAtlengthdelete deleteAllcountnubindexelem isPermutationsortedordered uniqsorteduniqueinsertisorteqListsumproductlookupzeqznezlezltzgtzgezpluszmultzminuszmaxzminztakezdropzsplitAtzlengthzdelete zdeleteAllzcountzzcountznubzindexzelemzisPermutationzorderedzsorted zuniqsortedzuniquezinsertzisortzeqListzsumzproductzlookupnull++reversezipfiltermapconcat concatMapfoldlfoldrandorallany takeWhile dropWhileidconst.flip$maybeeitherfstsnd tyAppBetareduce dcAppliedTo$fTransformBiExprExpr$fTransformBiExpr[]$fTransformBiExpr[]0$fUniverseBiExprExpr$fUniverseBiExprAltCongenip_2Mx8XQUG5LcD8zmLg8cWVjData.Generics.GeniplategenTransformBiMT'genTransformBiMTgenTransformBiM'genTransformBiMgenTransformBiT'genTransformBiTgenTransformBi'genTransformBigenUniverseBiT'genUniverseBiTgenUniverseBi' genUniverseBiinstanceTransformBiMTinstanceTransformBiMinstanceDescendBiMTinstanceDescendBiMinstanceDescendMTinstanceDescendMinstanceTransformBiTinstanceTransformBiinstanceUniverseBiTinstanceUniverseBidescend transformM transformuniverse universeBi UniverseBi transformBi TransformBi transformBiM TransformBiM descendBiM DescendBiMdescendMDescendM exprTyCons bindsTyCons varTyConstyTyConsUQrunUQ insertVar insertVars lookupVaruqBinduqExpruqAltshowOutputableisNewtypeConId isDataConIdportableShowSDoc varToString nameToStringrmClasshasClassmaybeUnfoldingvarFromRealModule inlineDictsremoveDefaultsrmdBindrmdExprrmdAlt<.> unrollDefaultfindAlt fromMaybeMmakeAlttipli_CosXMWKRdFNG0Xqj1xDZYx Tip.Pretty PrettyVar idFromName idFromDataCon idFromVar idFromTyVar idFromTyCon tryGetGHCNameppIdppNameprimops $fPrettyVarId$fShowIdTMghcTyConDataConNameUniquetrDefntrVartrExprTMWrunTMmsgUnsupportedLiteralmsgIllegalTypemsgTypeApplicationToExpr msgTypeExprmsgCoercionExpr msgCastExprmsgHigherRankTypemsgUnificationErrormsgNonVanillaDataConmsgNotAlgebraicTyConmsgFailtrTyConrenamelog trPattern trConstructorll errorType errorCallcollectTypeArgstrLit trPolyTypethrowessentiallyIntegertrType nameInTipvarInTipidInTipisIdoneOfnameIsvarIs isPropType isPropTyConvarWithPropType trProperty parseProperty addUnfoldings readModules transFromGiven:=:$fTestableForall $fTestableOr $fTestableAnd$fTestable:=>: $fTestableNeg$fTestable:=>:0$fTestable:=>:1$fTestableEqualityQuick_BnZKeqxVf7FCbnejbqAnPLTest.QuickCheck.AllverboseCheckAll quickCheckAllforAllProperties monomorphicpolyVerboseCheckpolyQuickCheckTest.QuickCheck.TestverboseCheckWithResultverboseCheckResultverboseCheckWith verboseCheckquickCheckWithResultquickCheckResultquickCheckWith quickCheckstdArgschattymaxSizemaxDiscardRatio maxSuccessreplayArgsInsufficientCoverageNoExpectedFailure theExceptionreasonusedSizeusedSeednumShrinkFinalnumShrinkTries numShrinksFailureGaveUpoutputlabelsnumTestsSuccessResultTest.QuickCheck.Propertydisjoinconjoin.&. forAllShrinkwithincoverclassifycollectlabelonce expectFailureverbose whenFail'whenFail printTestCasecounterexample noShrinking shrinkingmapSize ioPropertyProperty exhaustivepropertyTestableDiscardTest.QuickCheck.ModifiersgetBlindBlindgetFixedFixed getOrderedOrdered OrderedList getNonEmptyNonEmpty NonEmptyList getPositivePositive getNonZeroNonZerogetNonNegative NonNegativegetLargeLargegetSmallSmall getShrink2Shrink2Smart Shrinking shrinkState shrinkInit ShrinkStateTest.QuickCheck.Arbitrary infiniteList orderedListvectorcoarbitraryEnumcoarbitraryShowcoarbitraryRealcoarbitraryIntegral><genericCoarbitraryshrinkRealFracshrinkRealFracToIntegershrinkIntegral shrinkNothingarbitrarySizedBoundedIntegralarbitraryBoundedEnumarbitraryBoundedRandomarbitraryBoundedIntegralarbitrarySizedFractionalarbitrarySizedNaturalarbitrarySizedIntegral shrinkListsubtermsrecursivelyShrink genericShrinkshrink arbitrary Arbitrary coarbitrary CoArbitraryTest.QuickCheck.GeninfiniteListOfvectorOflistOf1listOfgrowingElementsshuffle sublistOfelements frequencyoneof suchThatMaybesuchThatsamplesample'generatechoosescaleresizesizedvariantGenTest.QuickCheck.Exceptiondiscard