a|EY      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXNone0168D+c>Determines the default behavior for incomplete pattern matchesYBEncode a Haskell String to a list of Word8 values, in UTF8 format.iDThis function turns a string into a stream of tokens for the parser.k   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcedfghZi[\]^_`abcdefghijk L !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghNone 134568FT]-e!l Function namem e.g. <> or !wrtn/Universal quantifiers making a function generico%Universal quantifiers/refinement typepActual function argumentsq Return typerOptional termination metricsMExpression holding the actual function body (not present in static templates)tXA 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.)P1Newtype wrapper containing a list of declarationsacedfjkplmnoqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKMLNOPQRlmnopqrstuvwxyz{|}~STj klmnopqrstuvwxyz{|}~6         ,!"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIGHIJKLMNOPQRlmnop rstuvqwxyz6~|{}  None068;<=8UNone 68;<=De9VWV9 9 Safe:3None:XNone:Y   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcedfghijkplmnoqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKMLNOPQRSTUVWX^iWUPQR !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIGHI     tuvwxyz{|}~JKLMNOcdefjklmnopqrs gh !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abVTSX       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !""#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMMNOPQRRSTUVWXYZ[\]\^_`abacdefghijklmnopqrstuvwxyz{|}~)ats-format-0.1.0.21-883VvEzfyjXBpzKg1BgWC Language.ATSLanguage.ATS.LexerLanguage.ATS.TypesLanguage.ATS.PrettyPrintLanguage.ATS.ParserPaths_ats_formatLanguage.ATS.ExecToken IdentifierKeywordBoolTokIntTokFloatTokCharTok StringTokSpecial CBlockLexIdentifierSpaceOperatorArrowFuncType CommentLex MacroBlockTimeTok SignatureTokDoubleParenTokDoubleBracesTokDoubleBracketTokSpecialBracketKwFunKwFnxKwAnd 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 ExistentialboundEtypeEpropE UniversalboundtypeUpropArgPrfArgNoArgsPairedBothFirstSecondPatternWildcardPNamePSumPLiteralGuardedFreeProof TuplePattern AtPatternName Unqualified Qualified SpecialName FunctorialUnnamed LambdaTypePlainFullSpearTypeBoolVoidStringCharIntNatAddr DependentInt DependentBool DepStringDoubleFloatTupleNamedExForA Dependent UnconsumedAsProofFromVTMaybeValT0pVt0pAt ProofType ConcreteTypeRefTypeViewType FunctionTypeNoneType ImplicitType ViewLiteral DataPropLeaf DeclarationFuncImpl ProofImplValPrValVarAndDeclIncludeStaloadStadefCBlock RecordTypeRecordViewTypeTypeDef ViewTypeDefSumType SumViewTypeAbsType AbsViewTypeAbsViewAbsVT0pAbsT0pViewDef OverloadOp OverloadIdentCommentDataPropExternDefineSortDefAndDLocalAbsPropAssumeTKindSymIntrStacstPropDeftypeNametypeArgs_leavesLeaf_constructorUniversalsnameconstructorArgs maybeTypeATSunATSconstructorUniversalsleavesprintATSATSErrorparseATSexec utf8Encode token_posnAlexAcc AlexAccNone AlexAccSkip AlexAccPredAlexAccSkipPred AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA# BifurcatedNilCommaBarPatternFFreeF WildcardFPNameFPSumF PLiteralFGuardedFProofF TuplePatternF AtPatternF ExpressionFPrecedeFBinaryF ParenExprFLetF VoidLiteralFCallF 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 ViewLiteralF rewriteDecl rewriteATS processClangprintATSCustom HappyAddrHappyA#HappyStk Happy_IntList HappyConsExpectedUnknown HappyAbsSynversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameProgram_path_inplace _noConfig_defaultConfig