hBLHq      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopNone0168Dc_>Determines the default behavior for incomplete pattern matchesqBEncode a Haskell String to a list of Word8 values, in UTF8 format.eDThis function turns a string into a stream of tokens for the parser.j   +!"#$%&'()*,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_a`bcdrstuevwxyz{|}~ H !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdNone134568:FKT]d0!'h Function nameie.g. <> or <!wrt>j/Universal quantifiers making a function generick%Universal quantifiers/refinement typelActual function argumentsm Return typenOptional termination metricoMExpression holding the actual function body (not present in static templates)vLA function declaration accounting for all keywords ATS uses to define them.An  implement declarationImplicit argumentsUniversal quantifiers&Name of the template being implemented Arguments<Expression (or static 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 modifyNew value of the fieldField being modifiedBinary operators on expressions~! is used to negate numbers in ATS)Wrapper for existential quantifiers/types4Wrapper for universal quantifiers (refinement types)A datatype for sorts.t@ypevt@ypeviewtype or vtypeviewAn 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 declarationsu_a`bfglhijkmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY[Z\]^_`abcdefghif ghijklmnopqrstuvwxyz{|}~=        !"#$%&'()*+,-.,/0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWUVWXYZ[\]^_`abcde = None068;<=d>j$Pretty-print with sensible defaults.lISlightly faster pretty-printer without indendation (for code generation).kRibbon fraction Ribbon widthjkl5None 68;<=De?^mnm9 9 None@o%Parse a string containing ATS source.q   +!"#$%&'()*,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_a`bcdefglhijkmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY[Z\]^_`abcdefghijklmnopyenojklp^_`./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWUVW !"#$%&'()*+vwxyz{|}~     ,-XYZ[\]_`abfghijklmnopqrstuabcde cd !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^mgfhi      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,--./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXXYZ[\]]^_`abcdefghijklmnopqrstutvwxyzy{|}~+language-ats-0.2.0.2-HVx5YHgQzGSBmvRkKWSmCY Language.ATSLanguage.ATS.LexerLanguage.ATS.TypesLanguage.ATS.PrettyPrintLanguage.ATS.ParserToken IdentifierKeywordIntTokFloatTokCharTok StringTokSpecial CBlockLexIdentifierSpaceOperatorArrowFuncType CommentLex MacroBlockTimeTok SignatureTokDoubleParenTokDoubleBracesTokDoubleBracketTokSpecialBracket FixityTokKwFunKwFnxKwAnd KwDatatype KwDatavtypeKwAssume KwTypedef KwVtypedefKwVtype KwStaloadKwLetKwInKwLocalKwEnd KwImplementKwCaseKwIfKwSifKwThenKwElseKwValKwVarKwLambdaKwLinearLambda KwIncludeKwWhenKwOf KwAbspropKwPrvalKwStadefKwPraxiKwWhileKwWhereKwBegin KwOverloadKwWithKwIfCase KwDataview KwDatapropKwView KwAbstypeKwTypeKwAbst0p KwAbsvt0pKwT0pKwVt0pKwPrfunKwPrfnKwCastfnKwExtern KwAbsvtypeKwProofImplement KwSortdef KwPropdefKwRaiseKwTKindKwModKwFixAt KwLambdaAtKwAddrAtKwAddrKwStaKwViewAt KwViewdef KwSymintr KwAbsviewKwFnKwInfixKwInfixrKwInfixlKwStacst KwListLitAddendumNonePlusMinusAlexPosnAlexPnlexATS PreFunctionPreFfnamesig preUniversals universalsargs returnType termetric expression StackFunctionStackFstSigstArgs stReturnType stExpressionFunctionFunFnFnxAndPrFunPrFnPraxiCastFnImplementation ImplementpospreUniversalsI implicits universalsInameIiArgs iExpression ExpressionLet VoidLiteralCallNamedVal ListLiteralIfBoolLitTimeLitFloatLitIntLit UnderscoreLitLambda LinearLambdaIndexAccess StringLitCharLitAtExprAddrAtViewAtBinaryUnaryIfCaseCase RecordValuePrecede PlainMutate FieldMutateMutateDeref ProofExpr TypeSignatureWhereExpTupleExWhileActionsBeginBinList PrecedeListFixAtLambdaAt ParenExpr CommentExprcondwhenTrueelseExprposEifArmskindvalarmsoldnewfield_op_exprsStaticExpression StaticVal StaticBinary StaticIntSPrecede StaticBool StaticVoidSifSCallSUnarySLetscond wwhenTrue selseExprBinOpAddMultDivSub GreaterThan GreaterThanEqLessThan LessThanEqEqualNotEqual LogicalAnd LogicalOrStaticEqModNotEqUnOpNegate ExistentialboundEisOpentypeEpropE UniversalboundtypeUpropSort NamedSortT0pVt0pAddrVTypeViewArgPrfArgNoArgsSortArg AnonymousPairedBothFirstSecondPatternWildcardPNamePSumPLiteralGuardedFreeProof TuplePattern AtPatternUniversalPatternExistentialPatternName Unqualified Qualified SpecialName FunctorialUnnamed FieldName LambdaTypePlainFullSpearTypeTupleNamedExForA Dependent UnconsumedAsProofFromVTMaybeValAt ProofType ConcreteTypeRefTypeViewType FunctionTypeNoneType ImplicitType ViewLiteralAnonymousRecord ParenType _typeCall _typeCallArgs DataPropLeaf DeclarationFuncImpl ProofImplValStaValPrValVarAndDeclIncludeStaloadStadefCBlockTypeDef ViewTypeDefSumType SumViewTypeAbsType AbsViewTypeAbsViewAbsVT0pAbsT0pViewDef OverloadOp OverloadIdentCommentDataPropExternDefineSortDefAndDLocalAbsPropAssumeTKindSymIntrStacstPropDef FixityDecltypeNametypeArgs_leavesLeaf_constructorUniversalsnameconstructorArgs maybeTypeATSunATSFixityRightFixLeftFixPrePostconstructorUniversalsleavestypeCall typeCallArgsprintATSprintATSCustom printATSFastATSErrorparseATS parseATS'getDependencies utf8Encode get_staload get_addendum to_string token_posnAlexAcc AlexAccNone AlexAccSkip AlexAccPredAlexAccSkipPred AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA#SortArgsPatternFFreeF WildcardFPNameFPSumF PLiteralFGuardedFProofF TuplePatternF AtPatternFUniversalPatternFExistentialPatternF ExpressionFCallFPrecedeFBinaryF ParenExprFLetF VoidLiteralF NamedValF ListLiteralFIfFBoolLitFTimeLitF FloatLitFIntLitFUnderscoreLitFLambdaF LinearLambdaFIndexFAccessF StringLitFCharLitFAtExprFAddrAtFViewAtFUnaryFIfCaseFCaseF RecordValueF PlainMutateF FieldMutateFMutateFDerefF ProofExprFTypeSignatureF WhereExpFTupleExFWhileFActionsFBeginFBinListF PrecedeListFFixAtF LambdaAtF CommentExprFcondF whenTrueF elseExprFposEFifArmsFkindFvalFarmsFoldFnewFfieldF_opF_exprsFStaticExpressionF StaticValF StaticBinaryF StaticIntF SPrecedeF StaticBoolF StaticVoidFSifFSCallFSUnaryFSLetFscondF wwhenTrueF selseExprFTypeFTupleFNamedFExFForAF DependentF UnconsumedFAsProofFFromVTF MaybeValFAtF ProofTypeF ConcreteTypeFRefTypeF ViewTypeF FunctionTypeF NoneTypeF ImplicitTypeF ViewLiteralFAnonymousRecordF ParenTypeF _typeCallF_typeCallArgsF rewriteDecl rewriteATS$$ HappyAddrHappyA#HappyStk Happy_IntList HappyConsExpectedUnknown HappyAbsSyn