E.q      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopNone068DOqBEncode a Haskell String to a list of Word8 values, in UTF8 format.DThis function turns a string into a stream of tokens for the parser.Zrstuvwxyz{|}~rvuwxyz{|}ts~<None 34568FT ! Function name e.g. <> or !wrt/Universal quantifiers making a function generic%Universal quantifiers/refinement typeActual function arguments Return typeOptional termination metricMExpression holding the actual function body (not present in static templates)XA 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 false-AEach `(Pattern, Expression)` pair corresponds to a branch of the 'case' statement.Record to modify/Field being modified0New 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.)1A type for parsed ATS typesO>Declare something in a scope (a function, value, action, etc.)k1Newtype wrapper containing a list of declarations  !"#$%0.,&'()*+-/      125;<6743H89:=>?@ABCDEFGIJKLMN!"OPQRSTUVWXYZ[\]^_`abcdefghijklm#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz 2  !"#$%&'(&')*+,-*./0        123456789:;<=>?@ABCDEFGHIJKLMN!"OPQRSTUVWXYZ[\]^_`abcdefghijklm# %&'()$*+,-2./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTRSUVWXYVZ[\]^_`abcdefghijklmnopqrstuvwxyzNone068;<=)*{n|None 68;<=De)}o~}9 9 Safe*cNone*pNone+*q  !"#$%0.,&'()*+-/125;<6743H89:=>?@ABCDEFGIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnoptonklmOPQRSTUVWXYZ[\]^_`abcdefghij  !"#$%&'(&')*+,-*./0123456789:;<=>?@ABCDEFGHIJKLMNp      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrsstuvwxyz{|}~|      !""#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~)ats-format-0.1.0.2-96xyKq0sOU69fbI4zDmMS8 Language.ATSLanguage.ATS.LexerLanguage.ATS.TypesLanguage.ATS.PrettyPrintLanguage.ATS.ParserPaths_ats_formatLanguage.ATS.ExeclexATS ExpressionLetBegin VoidLiteralCallNamedValIfSifBoolLitTimeLitFloatLitIntLit UnderscoreLitLambda LinearLambdaIndexAccess StringLitCharLitAtExprBinaryUnaryCase RecordValuePrecede FieldMutateMutateDerefRef ProofExpr TypeSignatureWhereExpTupleExWhileActionsTKindViewExprcondwhenTrueelseExpr selseExprposEkindvalarmsoldfieldnewTypeBoolVoidStringCharIntNat DependentInt DependentBool DepStringDoubleFloatTupleNamedExForA Dependent UnconsumedAsProofFromVTMaybeValT0pVt0pAt ProofType ConcreteTypeRefTypeAbsPropViewType FunctionType DeclarationFuncImpl ProofImplValPrValVarAndDeclIncludeStaloadStadefCBlock RecordTypeRecordViewTypeTypeDef ViewTypeDefSumType SumViewTypeAbsType AbsViewType OverloadOpCommentDataPropExternDefineSortDefAndDLocalATSunATSprintATSparseATSexec utf8EncodeTokenArrowOperatorKeyword IdentifierBoolTokIntTokFloatTokCharTok StringTokSpecial CBlockLexFuncType CommentLexRefTok MacroBlockTimeTok SignatureTokDoubleParenTokDoubleBracesTokDoubleBracketTokKwFunKwFnxKwAnd KwDatatype KwDatavtypeKwDataviewtypeKwAssume KwTypedef KwVtypedef KwStaloadKwLetKwInKwLocalKwEnd KwImplementKwCaseKwIfKwSifKwThenKwElseKwStringKwBoolKwIntKwVoidKwNatKwValKwVarKwLambdaKwLinearLambda KwIncludeKwWhenKwOf KwAbspropKwPrvalKwStadefKwPraxiKwWhileKwWhereKwBegin KwOverloadKwWithKwChar KwDataview KwDatapropKwView KwAbstypeKwTypeKwAbst0pKwT0pKwVt0pKwPrfunKwPrfnKwCastfnKwExtern KwAbsvtypeKwProofImplement KwSortdef KwPropdefKwRaiseKwTKindAddendumPlusNoneMinusAlexPosnAlexPn token_posnAlexAcc AlexAccNone AlexAccSkip AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA#fnamesig preUniversals universalsargs returnType termetric expressionFunctionImplementation universalsInameIiArgs iExpressionBinOpUnOp Existential UniversalArgPatternName LambdaType PreFunctionPreFFunFnxAndPrFunPrFnPraxi ImplementpospreUniversalsIAddMultDivSub GreaterThan GreaterThanEqLessThan LessThanEqEqualNotEqual LogicalAnd LogicalOrNegateboundEtypeEpropEboundtypeUpropPrfArgFreeWildcardPNamePSumPLiteralGuardedProof NullPattern TuplePattern Unqualified Qualified SpecialName FunctorialFullPlain DataPropLeafPatternFFreeF WildcardFPNameFPSumF PLiteralFGuardedFProofF NullPatternF TuplePatternF ExpressionFLetFBeginF VoidLiteralFCallF NamedValFIfFSifFBoolLitFTimeLitF FloatLitFIntLitFUnderscoreLitFLambdaF LinearLambdaFIndexFAccessF StringLitFCharLitFAtExprFBinaryFUnaryFCaseF RecordValueFPrecedeF FieldMutateFMutateFDerefFRefF ProofExprFTypeSignatureF WhereExpFTupleExFWhileFActionsFTKindF ViewExprFcondF whenTrueF elseExprF selseExprFposEFkindFvalFarmsFoldFfieldFnewFTypeFBoolFVoidFStringFCharFIntFNatF DependentIntFDependentBoolF DepStringFDoubleFFloatFTupleFNamedFExFForAF DependentF UnconsumedFAsProofFFromVTF MaybeValFT0pFVt0pFAtF ProofTypeF ConcreteTypeFRefTypeFAbsPropF ViewTypeF FunctionTypeF processClangprintATSCustomATSError HappyAddrHappyA#HappyStk Happy_IntList HappyConsExpectedOnUnknown HappyAbsSynversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameProgram_path_inplace _noConfig_defaultConfig