fIf      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdeNone0168Dd>Determines the default behavior for incomplete pattern matchesfBEncode a Haskell String to a list of Word8 values, in UTF8 format.jDThis function turns a string into a stream of tokens for the parser.n  0 !"#$%&'()*+,-./123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdfeghighijjklmnopqrstuvwxyz L !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghiNone 134568FT].&!m Function namene.g. <> or <!wrt>o/Universal quantifiers making a function genericp%Universal quantifiers/refinement typeqActual function argumentsr Return typesOptional termination metrictMExpression holding the actual function body (not present in static templates)uXA function declaration accounting for all three keywords (???) ATS uses to define them.~An  implement declarationUniversal quantifiers&Name of the template being implemented Arguments%Expression holding the function body."A (possibly effectful) expression.(Expression evaluating to a boolean value#Expression to be returned when true$Expression to be returned when falseEach (Pattern, Expression)% pair corresponds to a branch of the 'case' statementRecord to modifyField being modifiedNew value of the fieldBinary operators on expressions~! is used to negate numbers in ATS)Wrapper for existential quantifiers/types4Wrapper for universal quantifiers (refinement types)An argument to a function.A data type for patterns.A name can be qualified ( $UN.unsafefn) or not&A type for the various lambda arrows (=>,  =<cloref1>, etc.)A type for parsed ATS types%>Declare something in a scope (a function, value, action, etc.)U1Newtype wrapper containing a list of declarationsodfegklqmnoprst{|}~uvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPRQSTUVWXYZ[\]^k lmnopqrst{|}~uvwxyz{|}~6  !      !"#$%,&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNLMNOPQRSTUVWXYZ[\ 6 !None 068;<=d.d   None>f  0 !"#$%&'()*+,-./123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdfeghijklqmnoprstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPRQSTUVWXYZ[\]^_`abcdekjc_`aeUVW%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNLMN      !"uvwxyz{|}~#$OPQRSTdefgklmnopqrstXYZ[\ hi !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcb^]d        !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&''()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRRSTUVWWXYZ[\]^_`abcdefghijklkmnopqprstuvwxyz{|}~)ats-format-0.2.0.1-GKkoHACprnyEaMnZQVsugZ Language.ATSLanguage.ATS.LexerLanguage.ATS.TypesLanguage.ATS.PrettyPrintLanguage.ATS.ParserPaths_ats_formatLanguage.ATS.ExecToken IdentifierKeywordBoolTokIntTokFloatTokCharTok StringTokSpecial CBlockLexIdentifierSpaceOperatorArrowFuncType CommentLex MacroBlockTimeTok SignatureTokDoubleParenTokDoubleBracesTokDoubleBracketTokSpecialBracket FixityTokKwFunKwFnxKwAnd KwDatatype KwDatavtypeKwAssume KwTypedef KwVtypedef KwStaloadKwLetKwInKwLocalKwEnd KwImplementKwCaseKwIfKwSifKwThenKwElseKwStringKwBoolKwIntKwVoidKwNatKwValKwVarKwLambdaKwLinearLambda KwIncludeKwWhenKwOf KwAbspropKwPrvalKwStadefKwPraxiKwWhileKwWhereKwBegin KwOverloadKwWithKwChar KwDataview KwDatapropKwView KwAbstypeKwTypeKwAbst0p KwAbsvt0pKwT0pKwVt0pKwPrfunKwPrfnKwCastfnKwExtern KwAbsvtypeKwProofImplement KwSortdef KwPropdefKwRaiseKwTKindKwModKwFixAt KwLambdaAtKwAddrAtKwAddrKwStaKwViewAt KwViewdef KwSymintr KwAbsviewKwFnKwInfixKwInfixrKwInfixlKwStacst KwListLitAddendumNonePlusMinusAlexPosnAlexPnlexATS PreFunctionPreFfnamesig preUniversals universalsargs returnType termetric expressionFunctionFunFnFnxAndPrFunPrFnPraxiCastFnImplementation ImplementpospreUniversalsI universalsInameIiArgs iExpression ExpressionLet VoidLiteralCallNamedVal ListLiteralIfBoolLitTimeLitFloatLitIntLit UnderscoreLitLambda LinearLambdaIndexAccess StringLitCharLitAtExprAddrAtViewAtBinaryUnaryCase RecordValuePrecede FieldMutateMutateDeref ProofExpr TypeSignatureWhereExpTupleExWhileActionsBeginBinList PrecedeListFixAtLambdaAt ParenExprcondwhenTrueelseExprposEkindvalarmsoldfieldnew_op_exprsStaticExpression StaticVal StaticBinary StaticIntSPrecede StaticBool StaticVoidSifSCallscond wwhenTrue selseExprBinOpAddMultDivSub GreaterThan GreaterThanEqLessThan LessThanEqEqualNotEqual LogicalAnd LogicalOrStaticEqModUnOpNegate ExistentialboundEisOpentypeEpropE UniversalboundtypeUpropArgPrfArgNoArgsPairedBothFirstSecondPatternWildcardPNamePSumPLiteralGuardedFreeProof TuplePattern AtPatternUniversalPatternExistentialPatternName Unqualified Qualified SpecialName FunctorialUnnamed LambdaTypePlainFullSpearTypeBoolVoidStringCharIntNatAddr DependentInt DependentBool DepStringDoubleFloatTupleNamedExForA Dependent UnconsumedAsProofFromVTMaybeValT0pVt0pAt ProofType ConcreteTypeRefTypeViewType FunctionTypeNoneType ImplicitType ViewLiteralAnonymousRecord DataPropLeaf DeclarationFuncImpl ProofImplValStaValPrValVarAndDeclIncludeStaloadStadefCBlockTypeDef ViewTypeDefSumType SumViewTypeAbsType AbsViewTypeAbsViewAbsVT0pAbsT0pViewDef OverloadOp OverloadIdentCommentDataPropExternDefineSortDefAndDLocalAbsPropAssumeTKindSymIntrStacstPropDef FixityDecltypeNametypeArgs_leavesLeaf_constructorUniversalsnameconstructorArgs maybeTypeATSunATSFixityRightFixLeftFixPrePostconstructorUniversalsleavesprintATSprintATSCustom printATSFastATSErrorparseATSexecgetDependencies utf8Encode get_addendum to_string token_posnAlexAcc AlexAccNone AlexAccSkip AlexAccPredAlexAccSkipPred AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA# StackFunctionStackFstSigstArgs stReturnType stExpressionPatternFFreeF WildcardFPNameFPSumF PLiteralFGuardedFProofF TuplePatternF AtPatternFUniversalPatternFExistentialPatternF ExpressionFCallFPrecedeFBinaryF ParenExprFLetF VoidLiteralF NamedValF ListLiteralFIfFBoolLitFTimeLitF FloatLitFIntLitFUnderscoreLitFLambdaF LinearLambdaFIndexFAccessF StringLitFCharLitFAtExprFAddrAtFViewAtFUnaryFCaseF RecordValueF FieldMutateFMutateFDerefF ProofExprFTypeSignatureF WhereExpFTupleExFWhileFActionsFBeginFBinListF PrecedeListFFixAtF LambdaAtFcondF whenTrueF elseExprFposEFkindFvalFarmsFoldFfieldFnewF_opF_exprsFStaticExpressionF StaticValF StaticBinaryF StaticIntF SPrecedeF StaticBoolF StaticVoidFSifFSCallFscondF wwhenTrueF selseExprFTypeFBoolFVoidFStringFCharFIntFNatFAddrF DependentIntFDependentBoolF DepStringFDoubleFFloatFTupleFNamedFExFForAF DependentF UnconsumedFAsProofFFromVTF MaybeValFT0pFVt0pFAtF ProofTypeF ConcreteTypeFRefTypeF ViewTypeF FunctionTypeF NoneTypeF ImplicitTypeF ViewLiteralFAnonymousRecordF rewriteDecl rewriteATS processClang$$ HappyAddrHappyA#HappyStk Happy_IntList HappyConsExpectedUnknown HappyAbsSynversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameProgram_path_inplace _noConfig_defaultConfig