Wg?      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     None0168DT>Determines the default behavior for incomplete pattern matchesBEncode a Haskell String to a list of Word8 values, in UTF8 format.ZDThis function turns a string into a stream of tokens for the parser.\   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTVUWXYZ !"#$%&'()*+,-. > !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYNone 134568FT])!] Function name^ e.g. <> or !wrt_/Universal quantifiers making a function generic`%Universal quantifiers/refinement typeaActual function argumentsb Return typecOptional termination metricdMExpression holding the actual function body (not present in static templates)eXA function declaration accounting for all three keywords (???) ATS uses to define them.lAn  implement declarationpUniversal quantifiersq&Name of the template being implementedr Argumentss%Expression holding the function body.t"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 declarations4TVUW[\a]^_`bcdefghijklmnopqrstyuvwxz{|}~/0123456789:;     <=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~[ \]^_`abcdefghijklmnopqrst1uvwxyz{|}~/012345678:9;     <=>?@BCDEFAGHI1KLMNOPQRSTUVWXYZ[\]^_J`abcdefghijklmnopqrsptuvwxxyz{|}~None068;<=4%None 68;<=De49 9 Safe5ZNone5None6!   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTVUWXYZ[\a]^_`bcdefghijklmnopqrstyuvwxz{|}~     Z     tuvwxyz{|}~efghijklmnopqrsTUVW[\]^_`abcd XY !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRS       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      ! "#$%&%'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~)ats-format-0.1.0.7-1sGEoCxzz7aGQ1fsmyWTPL 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 KwLambdaAtAddendumNonePlusMinusAlexPosnAlexPnlexATS PreFunctionPreFfnamesig preUniversals universalsargs returnType termetric expressionFunctionFunFnxAndPrFunPrFnPraxiImplementation ImplementpospreUniversalsI universalsInameIiArgs iExpression ExpressionLet VoidLiteralCallNamedValIfBoolLitTimeLitFloatLitIntLit UnderscoreLitLambda LinearLambdaIndexAccess StringLitCharLitAtExprBinaryUnaryCase RecordValuePrecede FieldMutateMutateDeref ProofExpr TypeSignatureWhereExpTupleExWhileActionsBeginBinList PrecedeListFixAtcondwhenTrueelseExprposEkindvalarmsoldfieldnew_op_exprsBinOpAddMultDivSub GreaterThan GreaterThanEqLessThan LessThanEqEqualNotEqual LogicalAnd LogicalOrStaticEqModUnOpNegate ExistentialboundEtypeEpropE UniversalboundtypeUpropArgPrfArgNoArgsPatternWildcardPNamePSumPLiteralGuardedFreeProof 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#StaticExpression StaticVal StaticBinary StaticInt StaticBoolSifscond wwhenTrue selseExprPairedFirstBothSecond BifurcatedNilCommaBarPatternFFreeF WildcardFPNameFPSumF PLiteralFGuardedFProofF TuplePatternF ExpressionFPrecedeFLetF VoidLiteralFCallF NamedValFIfFBoolLitFTimeLitF FloatLitFIntLitFUnderscoreLitFLambdaF LinearLambdaFIndexFAccessF StringLitFCharLitFAtExprFBinaryFUnaryFCaseF RecordValueF FieldMutateFMutateFDerefF ProofExprFTypeSignatureF WhereExpFTupleExFWhileFActionsFBeginFBinListF PrecedeListFFixAtFcondF 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