U>      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     None0168DQ>Determines the default behavior for incomplete pattern matchesBEncode a Haskell String to a list of Word8 values, in UTF8 format.WDThis function turns a string into a stream of tokens for the parser.Y   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQSRTUVW !"#$%&'()* ; !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVNone 134568FT])!Z Function name[ e.g. <> or !wrt\/Universal quantifiers making a function generic]%Universal quantifiers/refinement type^Actual function arguments_ Return type`Optional termination metricaMExpression holding the actual function body (not present in static templates)bXA function declaration accounting for all three keywords (???) ATS uses to define them.iAn  implement declarationmUniversal quantifiersn&Name of the template being implementedo Argumentsp%Expression holding the function body.q"A (possibly effectful) expression.(Expression evaluating to a boolean value#Expression to be returned when true$Expression to be returned when falseAEach `(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.)1Newtype wrapper containing a list of declarationsQSRTXY^Z[\]_`abcdefghijklmnopqvrstuwxyz{|}~+,-.     /0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~X YZ[\]^_`abcdefghijklmnopq4rstuvwxyz{|}~ +-,.     /1234506784:;<=>?@ABCDEFGHIJKLMNO9PQRSTUVWXYZ[\]^\]_`abc`defghhijklmnopqrstuvwxyz{|}~None068;<=36None 68;<=De39 9 Safe4kNone4None52   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQSRTUVWXY^Z[\]_`abcdefghijklmnopqvrstuwxyz{|}~     W     qrstuvwxyz{|}~bcdefghijklmnopQRSTXYZ[\]^_`a UV !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"!#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~)ats-format-0.1.0.5-9QObRouQ7PgDhOpL7T8tmN Language.ATSLanguage.ATS.LexerLanguage.ATS.TypesLanguage.ATS.PrettyPrintLanguage.ATS.ParserPaths_ats_formatLanguage.ATS.ExecToken IdentifierKeywordBoolTokIntTokFloatTokCharTok StringTokSpecial CBlockLexOperatorArrowFuncType CommentLex MacroBlockTimeTok SignatureTokDoubleParenTokDoubleBracesTokDoubleBracketTokSpecialBracketKwFunKwFnxKwAnd KwDatatype KwDatavtypeKwAssume KwTypedef KwVtypedef KwStaloadKwLetKwInKwLocalKwEnd KwImplementKwCaseKwIfKwSifKwThenKwElseKwStringKwBoolKwIntKwVoidKwNatKwValKwVarKwLambdaKwLinearLambda KwIncludeKwWhenKwOf KwAbspropKwPrvalKwStadefKwPraxiKwWhileKwWhereKwBegin KwOverloadKwWithKwChar KwDataview KwDatapropKwView KwAbstypeKwTypeKwAbst0pKwT0pKwVt0pKwPrfunKwPrfnKwCastfnKwExtern KwAbsvtypeKwProofImplement KwSortdef KwPropdefKwRaiseKwTKindAddendumNonePlusMinusAlexPosnAlexPnlexATS PreFunctionPreFfnamesig preUniversals universalsargs returnType termetric expressionFunctionFunFnxAndPrFunPrFnPraxiImplementation ImplementpospreUniversalsI universalsInameIiArgs iExpression ExpressionLet VoidLiteralCallNamedValIfSifBoolLitTimeLitFloatLitIntLit UnderscoreLitLambda LinearLambdaIndexAccess StringLitCharLitAtExprBinaryUnaryCase RecordValuePrecede FieldMutateMutateDeref ProofExpr TypeSignatureWhereExpTupleExWhileActionsBeginBinList PrecedeListcondwhenTrueelseExpr selseExprposEkindvalarmsoldfieldnew_op_exprsBinOpAddMultDivSub GreaterThan GreaterThanEqLessThan LessThanEqEqualNotEqual LogicalAnd LogicalOrStaticEqUnOpNegate ExistentialboundEtypeEpropE UniversalboundtypeUpropArgPrfArgPatternWildcardPNamePSumPLiteralGuardedFreeProof TuplePatternName Unqualified Qualified SpecialName Functorial LambdaTypePlainFullSpearTypeBoolVoidStringCharIntNat DependentInt DependentBool DepStringDoubleFloatTupleNamedExForA Dependent UnconsumedAsProofFromVTMaybeValT0pVt0pAt ProofType ConcreteTypeRefTypeViewType FunctionTypeNoneType ImplicitType DataPropLeaf DeclarationFuncImpl ProofImplValPrValVarAndDeclIncludeStaloadStadefCBlock RecordTypeRecordViewTypeTypeDef ViewTypeDefSumType SumViewTypeAbsType AbsViewType OverloadOpCommentDataPropExternDefineSortDefAndDLocalAbsPropAssumeTKindATSunATSprintATSATSErrorparseATSexec utf8Encode token_posnAlexAcc AlexAccNone AlexAccSkip AlexAccPredAlexAccSkipPred AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA#PairedFirstBothSecondPatternFFreeF WildcardFPNameFPSumF PLiteralFGuardedFProofF TuplePatternF ExpressionFPrecedeFLetF VoidLiteralFCallF NamedValFIfFSifFBoolLitFTimeLitF FloatLitFIntLitFUnderscoreLitFLambdaF LinearLambdaFIndexFAccessF StringLitFCharLitFAtExprFBinaryFUnaryFCaseF RecordValueF FieldMutateFMutateFDerefF ProofExprFTypeSignatureF WhereExpFTupleExFWhileFActionsFBeginFBinListF PrecedeListFcondF whenTrueF elseExprF selseExprFposEFkindFvalFarmsFoldFfieldFnewF_opF_exprsFTypeFBoolFVoidFStringFCharFIntFNatF DependentIntFDependentBoolF DepStringFDoubleFFloatFTupleFNamedFExFForAF DependentF UnconsumedFAsProofFFromVTF MaybeValFT0pFVt0pFAtF ProofTypeF ConcreteTypeFRefTypeF ViewTypeF FunctionTypeF NoneTypeF ImplicitTypeF rewriteATS processClangprintATSCustom HappyAddrHappyA#HappyStk Happy_IntList HappyConsExpectedUnknown HappyAbsSynversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameProgram_path_inplace _noConfig_defaultConfig