\A-      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None068DMBEncode a Haskell String to a list of Word8 values, in UTF8 format.RDThis function turns a string into a stream of tokens for the parser.S   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKMLNOPQRSOP  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNRQ 8 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPNone 34568FT2 e Function namef/Universal quantifiers making a function genericg%Universal quantifiers/refinement typehActual function argumentsi Return typejOptional termination metrickMExpression holding the actual function body (not present in static templates)lXA function declaration accounting for all three keywords (???) ATS uses to define them.sAn  implement declarationwUniversal quantifiersx&Name of the template being implementedy Argumentsz%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 declarationsKMLNcdhefgijklmnopqrstuvwxyz{|}~HNIJKLMOPQWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~HIJKLMNOPQlmnopqr{|}~WXYZ[\]^_`abcdefghijklmnopqrstuvwxyzxyz{|}~{stuvwxyzKLMNcdefghijkcdefghijklmnopqrstuvwxyz{.|}~  H IJKLMNOPQW.XYZ[\]^_`abcdefghijklmnopqrstuvwxyzxyz{|}~{None068;<=?BNone 68;=De?9 9 Safe@NoneA       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~)ats-format-0.1.0.1-9jl24t5OpRSBe7Tr5f8MVULanguage.ATS.LexerLanguage.ATS.TypesLanguage.ATS.PrettyPrintLanguage.ATS.ParserLanguage.ATS.ExecPaths_ats_formatToken Semicolon IdentifierKeywordBoolTokIntTokFloatTokCharTok StringTokSpecial CBlockLexOperatorArrowFuncType CommentLexRefTok DefineBlockTimeTokKwFunKwFnxKwAnd KwDatatype KwDatavtypeKwDataviewtypeKwAssume KwTypedef KwVtypedef KwStaloadKwLetKwInKwLocalKwEnd KwImplementKwCaseKwIfKwSifKwThenKwElseKwStringKwBoolKwIntKwVoidKwNatKwValKwVarKwLambdaKwLinearLambda KwIncludeKwWhenKwOf KwAbspropKwPrvalKwStadefKwPraxiKwWhileKwWhereKwBegin KwOverloadKwWithKwChar KwDataview KwDatapropKwView KwAbstypeKwTypeKwAbst0pKwT0pKwVt0pKwPrfunKwPrfnKwCastfnKwExtern KwAbsvtypeKwProofImplementAddendumNonePlusMinusAlexPosnAlexPn token_posnlexATS $fEqAlexPosn$fShowAlexPosn $fEqAddendum$fShowAddendum$fGenericAddendum$fNFDataAddendum $fEqKeyword $fShowKeyword$fGenericKeyword$fNFDataKeyword $fEqToken $fShowToken$fGenericToken $fNFDataToken$fNFDataAlexPosn$fGenericAlexPosn PreFunctionPreFfname preUniversals universalsargs returnType termetric expressionFunctionFunFnxAndPrFunPrFnPraxiImplementation ImplementpospreUniversalsI universalsInameIiArgs iExpression ExpressionLetBeginLocal VoidLiteralCallNamedValIfSifBoolLitTimeLitFloatLitIntLitLambda LinearLambdaIndexAccess StringLitCharLitBinaryUnaryCase RecordValuePrecede FieldMutateDerefRef ProofExpr TypeSignatureWhereExpTupleExWhileActionscondwhenTrueelseExprposEkindvalarmsoldfieldnewBinOpAddMultDivSub GreaterThan GreaterThanEqLessThan LessThanEqEqualNotEqual LogicalAnd LogicalOrUnOpNegate ExistentialboundEtypeEpropE UniversalboundtypeUpropArgPatternWildcardPNamePSumPLiteralGuardedFreeProof NullPattern TuplePatternName Unqualified Qualified LambdaTypePlainFullTypeBoolVoidStringCharIntNat DependentInt DependentBool DepStringDoubleFloatTupleNamedExForA Dependent UnconsumedAsProofFromVTMaybeValT0pVt0pAt ProofType ConcreteTypeRefTypeAbsProp DataPropLeaf DeclarationFuncImpl ProofImplValPrValVarAndDeclIncludeStaloadStadefCBlock RecordTypeRecordViewTypeSumType SumViewType AbsViewType OverloadOpCommentDataPropExternDefineATSunATS$fShowLambdaType$fEqLambdaType$fGenericLambdaType$fNFDataLambdaType $fShowName$fEqName $fGenericName $fNFDataName $fShowUnOp$fEqUnOp $fGenericUnOp $fNFDataUnOp $fShowBinOp $fEqBinOp$fGenericBinOp $fNFDataBinOp$fShowPreFunction$fEqPreFunction$fGenericPreFunction$fNFDataPreFunction$fShowExpression$fEqExpression$fGenericExpression$fNFDataExpression $fShowPattern $fEqPattern$fGenericPattern$fNFDataPattern $fShowType$fEqType $fGenericType $fNFDataType$fShowExistential$fEqExistential$fGenericExistential$fNFDataExistential $fShowArg$fEqArg $fGenericArg $fNFDataArg$fShowUniversal $fEqUniversal$fGenericUniversal$fNFDataUniversal$fShowDeclaration$fEqDeclaration$fGenericDeclaration$fNFDataDeclaration$fShowFunction $fEqFunction$fGenericFunction$fNFDataFunction$fShowImplementation$fEqImplementation$fGenericImplementation$fNFDataImplementation$fShowDataPropLeaf$fEqDataPropLeaf$fGenericDataPropLeaf$fNFDataDataPropLeaf $fShowATS$fEqATS $fGenericATS $fNFDataATSPatternF WildcardFPNameFPSumF PLiteralFGuardedFFreeFProofF NullPatternF TuplePatternF$fCorecursivePattern$fRecursivePattern$fFunctorPatternF$fFoldablePatternF$fTraversablePatternF ExpressionFLetFBeginFLocalF VoidLiteralFCallF NamedValFIfFSifFBoolLitFTimeLitF FloatLitFIntLitFLambdaF LinearLambdaFIndexFAccessF StringLitFCharLitFBinaryFUnaryFCaseF RecordValueFPrecedeF FieldMutateFDerefFRefF ProofExprFTypeSignatureF WhereExpFTupleExFWhileFActionsFcondF whenTrueF elseExprFposEFkindFvalFarmsFoldFfieldFnewF$fCorecursiveExpression$fRecursiveExpression$fFunctorExpressionF$fFoldableExpressionF$fTraversableExpressionFTypeFBoolFVoidFStringFCharFIntFNatF DependentIntFDependentBoolF DepStringFDoubleFFloatFTupleFNamedFExFForAF DependentF UnconsumedFAsProofFFromVTF MaybeValFT0pFVt0pFAtF ProofTypeF ConcreteTypeFRefTypeFAbsPropF$fCorecursiveType$fRecursiveType$fFunctorTypeF$fFoldableTypeF$fTraversableTypeF processClangprintATSprintATSCustom$fPrettyDeclaration$fPrettyDataPropLeaf$fPrettyPreFunction$fPrettyImplementation $fPrettyATS$fPrettyUniversal$fPrettyExistential $fPrettyType $fPrettyArg$fPrettyPattern$fPrettyExpression$fPrettyAddendum $fPrettyBinOp$fPrettyLambdaType $fPrettyName$fEqDoc $fNFDataDoc $fGenericDoc$fNFDataConsoleLayer$fGenericConsoleLayer$fNFDataColorIntensity$fGenericColorIntensity $fNFDataColor$fGenericColor$fNFDataConsoleIntensity$fGenericConsoleIntensity$fNFDataUnderlining$fGenericUnderliningATSErrorExpectedUnknownparseATS$fPrettyAlexPosn$fPrettyATSError $fEqATSError$fShowATSError$fGenericATSError$fNFDataATSErrorexec defaultConfig utf8EncodeAlexAcc AlexAccNone AlexAccSkip AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA# HappyAddrHappyA#HappyStk Happy_IntList HappyCons HappyAbsSynversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameProgram_path_inplace _noConfig