ZD@+      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*None0168D]>Determines the default behavior for incomplete pattern matches+BEncode a Haskell String to a list of Word8 values, in UTF8 format.cDThis function turns a string into a stream of tokens for the parser.e   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]_^`ab,c-./0123456789:;<= G !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abNone 134568FT]+!f Function nameg e.g. <> or !wrth/Universal quantifiers making a function generici%Universal quantifiers/refinement typejActual function argumentsk Return typelOptional termination metricmMExpression holding the actual function body (not present in static templates)nXA function declaration accounting for all three keywords (???) ATS uses to define them.vAn  implement declarationzUniversal 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 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 declarations>]_^`dejfghiklmnopqrstuvwxyz{|}~>?@ABCDEFGHIJ      !"#$%&KLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~d efghijklmnopqrstuvwxyz{|}~5>?@ABCDEFGIHJ      !"#$%&KLMNOQRSTUPVWX5Z[\]^_`abcdefghijklmnopYqrstuvwxyz{|}~None068;<=5'None 68;<=De6()(9 9 Safe6None7&*None7|+   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]_^`abcdejfghiklmnopqrstuvwxyz{|}~      !"#$%&'()*-c)'$%&      !"#~nopqrstuvwxyz{|}]^_`defghijklm ab !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\(*       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&''()*+,-./0/1234546789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~)ats-format-0.1.0.9-8OUN4ULOa8I374K7VayUSL 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 KwPropdefKwRaiseKwTKindKwModKwFixAt KwLambdaAtKwAddrAtKwStaKwViewAt KwSymintr KwAbsviewKwFnKwInfixKwInfixrKwInfixlAddendumNonePlusMinusAlexPosnAlexPnlexATS PreFunctionPreFfnamesig preUniversals universalsargs returnType termetric expressionFunctionFunFnFnxAndPrFunPrFnPraxiImplementation ImplementpospreUniversalsI universalsInameIiArgs iExpression ExpressionLet VoidLiteralCallNamedValIfBoolLitTimeLitFloatLitIntLit UnderscoreLitLambda LinearLambdaIndexAccess StringLitCharLitAtExprAddrAtViewAtBinaryUnaryCase RecordValuePrecede FieldMutateMutateDeref ProofExpr TypeSignatureWhereExpTupleExWhileActionsBeginBinList PrecedeListFixAtLambdaAt ParenExprcondwhenTrueelseExprposEkindvalarmsoldfieldnew_op_exprsBinOpAddMultDivSub GreaterThan GreaterThanEqLessThan LessThanEqEqualNotEqual LogicalAnd LogicalOrStaticEqModUnOpNegate ExistentialboundEtypeEpropE UniversalboundtypeUpropArgPrfArgNoArgsPatternWildcardPNamePSumPLiteralGuardedFreeProof TuplePatternName Unqualified Qualified SpecialName FunctorialUnnamed 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#StaticExpression StaticVal StaticBinary StaticInt StaticBoolSifscond wwhenTrue selseExprPairedFirstBothSecond BifurcatedNilCommaBarPatternFFreeF WildcardFPNameFPSumF PLiteralFGuardedFProofF TuplePatternF ExpressionFPrecedeFLetF VoidLiteralFCallF NamedValFIfFBoolLitFTimeLitF FloatLitFIntLitFUnderscoreLitFLambdaF LinearLambdaFIndexFAccessF StringLitFCharLitFAtExprFAddrAtFViewAtFBinaryFUnaryFCaseF RecordValueF FieldMutateFMutateFDerefF ProofExprFTypeSignatureF WhereExpFTupleExFWhileFActionsFBeginFBinListF PrecedeListFFixAtF LambdaAtF ParenExprFcondF whenTrueF elseExprFposEFkindFvalFarmsFoldFfieldFnewF_opF_exprsFStaticExpressionF StaticValF StaticBinaryF StaticIntF StaticBoolFSifFscondF wwhenTrueF selseExprFTypeFBoolFVoidFStringFCharFIntFNatF 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