F,/du      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstNone068DuBEncode a Haskell String to a list of Word8 values, in UTF8 format.DThis function turns a string into a stream of tokens for the parser.Zvwxyz{|}~vzy{|}~xw<None 34568FT] N! Function name e.g. <> or !wrt/Universal quantifiers making a function generic%Universal quantifiers/refinement typeActual function arguments Return typeOptional termination metricMExpression holding the actual function body (not present in static templates)XA 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 false0AEach `(Pattern, Expression)` pair corresponds to a branch of the 'case' statement1Record to modify2Field being modified3New 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.)4A type for parsed ATS typesQ>Declare something in a scope (a function, value, action, etc.)o1Newtype wrapper containing a list of declarations  !"#$%&31/'()*+,-.02      !"#$%&458>?9:76K;<=@ABCDEFGHIJLMNOP'(QRSTUVWXYZ[\]^_`abcdefghijklmnopq)*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ 5  !"#$%&'()'(*+,-./0-123        !"#$&%456789:;<=>?@ABCDEFGHIJKLMNOP'(QRSTUVWXYZ[\]^_`abcdefghijklmnopq* ,-./0+1234556789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\Z[]^_`abc`defghijklmnopqrstuvwxyz{|}~None068;<=)rNone 68;<=De*?s9 9 Safe*None+TtNone+u  !"#$%&31/'()*+,-.02458>?9:76K;<=@ABCDEFGHIJLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstxsropqQRSTUVWXYZ[\]^_`abcdefghijklmn  !"#$%&'()'(*+,-./0-123456789:;<=>?@ABCDEFGHIJKLMNOPt      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwwxyz{|}~      !"#$%&'(()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~)ats-format-0.1.0.4-8XxiRaaxvYz91MPkPCFYvZ Language.ATSLanguage.ATS.LexerLanguage.ATS.TypesLanguage.ATS.PrettyPrintLanguage.ATS.ParserPaths_ats_formatLanguage.ATS.ExeclexATS ExpressionLet VoidLiteralCallNamedValIfSifBoolLitTimeLitFloatLitIntLit UnderscoreLitLambda LinearLambdaIndexAccess StringLitCharLitAtExprBinaryBinListUnaryCase RecordValuePrecede FieldMutateMutateDerefRef ProofExpr TypeSignatureWhereExpTupleExWhileActionsTKindViewExprBegincondwhenTrueelseExpr selseExpr_op_exprsposEkindvalarmsoldfieldnewTypeBoolVoidStringCharIntNat DependentInt DependentBool DepStringDoubleFloatTupleNamedExForA Dependent UnconsumedAsProofFromVTMaybeValT0pVt0pAt ProofType ConcreteTypeRefTypeViewType FunctionType DeclarationFuncImpl ProofImplValPrValVarAndDeclIncludeStaloadStadefCBlock RecordTypeRecordViewTypeTypeDef ViewTypeDefSumType SumViewTypeAbsType AbsViewType OverloadOpCommentDataPropExternDefineSortDefAndDLocalAbsPropAssumeATSunATSprintATSparseATSexec utf8EncodeTokenArrowOperatorKeyword IdentifierBoolTokIntTokFloatTokCharTok StringTokSpecial CBlockLexFuncType CommentLexRefTok MacroBlockTimeTok SignatureTokDoubleParenTokDoubleBracesTokDoubleBracketTokKwFunKwFnxKwAnd KwDatatype KwDatavtypeKwDataviewtypeKwAssume KwTypedef KwVtypedef KwStaloadKwLetKwInKwLocalKwEnd KwImplementKwCaseKwIfKwSifKwThenKwElseKwStringKwBoolKwIntKwVoidKwNatKwValKwVarKwLambdaKwLinearLambda KwIncludeKwWhenKwOf KwAbspropKwPrvalKwStadefKwPraxiKwWhileKwWhereKwBegin KwOverloadKwWithKwChar KwDataview KwDatapropKwView KwAbstypeKwTypeKwAbst0pKwT0pKwVt0pKwPrfunKwPrfnKwCastfnKwExtern KwAbsvtypeKwProofImplement KwSortdef KwPropdefKwRaiseKwTKindAddendumPlusNoneMinusAlexPosnAlexPn token_posnAlexAcc AlexAccNone AlexAccSkip AlexAccPredAlexAccSkipPred AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA#fnamesig preUniversals universalsargs returnType termetric expressionFunctionImplementation universalsInameIiArgs iExpressionBinOpUnOp Existential UniversalArgPatternName LambdaType PreFunctionPreFFunFnxAndPrFunPrFnPraxi ImplementpospreUniversalsIAddMultDivSub GreaterThan GreaterThanEqLessThan LessThanEqEqualNotEqual LogicalAnd LogicalOrNegateboundEtypeEpropEboundtypeUpropPrfArgFreeWildcardPNamePSumPLiteralGuardedProof NullPattern TuplePattern Unqualified Qualified SpecialName FunctorialFullPlain DataPropLeafbinListPatternFFreeF WildcardFPNameFPSumF PLiteralFGuardedFProofF NullPatternF TuplePatternF ExpressionFLetF VoidLiteralFCallF NamedValFIfFSifFBoolLitFTimeLitF FloatLitFIntLitFUnderscoreLitFLambdaF LinearLambdaFIndexFAccessF StringLitFCharLitFAtExprFBinaryFBinListFUnaryFCaseF RecordValueFPrecedeF FieldMutateFMutateFDerefFRefF ProofExprFTypeSignatureF WhereExpFTupleExFWhileFActionsFTKindF ViewExprFBeginFcondF whenTrueF elseExprF selseExprF_opF_exprsFposEFkindFvalFarmsFoldFfieldFnewFTypeFBoolFVoidFStringFCharFIntFNatF DependentIntFDependentBoolF DepStringFDoubleFFloatFTupleFNamedFExFForAF DependentF UnconsumedFAsProofFFromVTF MaybeValFT0pFVt0pFAtF ProofTypeF ConcreteTypeFRefTypeF ViewTypeF FunctionTypeF processClangprintATSCustomATSError HappyAddrHappyA#HappyStk Happy_IntList HappyConsExpectedOnUnknown HappyAbsSynversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameProgram_path_inplace _noConfig_defaultConfig