`EV      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUNone0168Db>Determines the default behavior for incomplete pattern matchesVBEncode a Haskell String to a list of Word8 values, in UTF8 format.hDThis function turns a string into a stream of tokens for the parser.j   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abdcefgWhXYZ[\]^_`abcdefgh K !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgNone 134568FT]-6!k Function namel e.g. <> or !wrtm/Universal quantifiers making a function genericn%Universal quantifiers/refinement typeoActual function argumentsp Return typeqOptional termination metricrMExpression holding the actual function body (not present in static templates)sXA 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.)M1Newtype wrapper containing a list of declarations^bdceijoklmnpqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHJIKLMNOijklmnopqrstuvwxyz{|}~PQi jklmnopqrstuvwxyz{|}~5        + !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFDEFGHIJKLMNOijklm opqrsntuvw5{|}~yxz  None068;<=8RNone 68;<=De9LSTS9 9 Safe9None:]UNone:V   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abdcefghijoklmnpqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHJIKLMNOPQRSTU[hTRMNO !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFDEF     stuvwxyz{|}~GHIJKLbcdeijklmnopqr fg !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`aSQPU       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJJKLMNOOPQRSTUVWXYZY[\]^_^`abcdefghijklmnopqrstuvwxyz{|}~*ats-format-0.1.0.20-Dxyo7akLUZy2lZKpaiWzWo 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 KwAbsviewKwFnKwInfixKwInfixrKwInfixlKwStacstAddendumNonePlusMinusAlexPosnAlexPnlexATS PreFunctionPreFfnamesig preUniversals universalsargs returnType termetric expressionFunctionFunFnFnxAndPrFunPrFnPraxiCastFnImplementation ImplementpospreUniversalsI universalsInameIiArgs iExpression ExpressionLet VoidLiteralCallNamedValIfBoolLitTimeLitFloatLitIntLit 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 OverloadIdentCommentDataPropExternDefineSortDefAndDLocalAbsPropAssumeTKindSymIntrStacsttypeNametypeArgs_leavesLeaf_constructorUniversalsnameconstructorArgs maybeTypeATSunATSconstructorUniversalsleavesprintATSATSErrorparseATSexec utf8Encode token_posnAlexAcc AlexAccNone AlexAccSkip AlexAccPredAlexAccSkipPred AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA# BifurcatedNilCommaBarPatternFFreeF WildcardFPNameFPSumF PLiteralFGuardedFProofF TuplePatternF AtPatternF ExpressionFPrecedeFBinaryF ParenExprFLetF VoidLiteralFCallF NamedValFIfFBoolLitFTimeLitF 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