_      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None068Di>Determines the default behavior for incomplete pattern matchesBEncode a Haskell String to a list of Word8 values, in UTF8 format.oDThis function turns a string into a stream of tokens for the parser.t  %1$ !"#&'()*+,-./023456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghikjlmno  M !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnNone"134568:FKT]ad;2r Function namese.g. <> or <!wrt>t/Universal quantifiers making a function genericu)(Universal a) quantifiers/refinement typevActual function argumentsw Return typexOptional termination metricyMExpression holding the actual function body (not present in static templates)z+A type for stack-allocated functions. See  Ehttp://ats-lang.sourceforge.net/DOCUMENT/ATS2TUTORIAL/HTML/c1267.htmlhere for more.LA function declaration accounting for all keywords ATS uses to define them.An  implement or  primplmnt declarationImplicit argumentsUniversal quantifiers*(Name a) of the template being implemented Arguments<Expression (or static expression) holding the function body."A (possibly effectful) expression.'The '()' literal representing inaction. 1000uE.g.  some_function aE.g. some_function{a}E.g. pf in call(pf | str).The actual call arguments.(Expression evaluating to a boolean value#Expression to be returned when true$Expression to be returned when falseEach ((Pattern a), (Expression a))% pair corresponds to a branch of the 'case' statementBinary 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@ype vt@ypeviewtype or vtype viewAn argument to a function. A data type for patterns.A name can be qualified e.g.  $UN.unsafefn%A name for builtin functions such as  $showtype. A type for =>,  =<cloref1>, etc."A type for parsed ATS types+ a?!, a?B>Declare something in a scope (a function, value, action, etc.)1Newtype wrapper containing a list of declarationsDefault fixities from  fixity.atsfAmong other things, this rewrites expressions so that operator precedence is respected; this ensures  1 + 2 * 3+ will be parsed as the correct expression.ikjlpqvrstuwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABlCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkmynropqstuvwxz{|}~      !"#$%&'()*+,-./0123456789:;<=>?p qrstuvwxyz{|}~7       !"#$%&'()*+,-./0123456789:;<=>?@ABNCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqpqrstuvwxyz{|}~n 7       !"#$%&'()*+,-./0123456789:;<=None068;<=dK$Pretty-print with sensible defaults.ISlightly faster pretty-printer without indendation (for code generation).Ribbon fraction Ribbon width@5None 68;<=DeLdABCDEFGHIJE9 F9 NoneQ)Print an error message to standard error.Same as -, but print a yellow warning message instead.<Parse a string containing ATS source, disregarding comments.%Parse a string containing ATS source.5Parse with some fixity declarations already in scope.2Extract a list of files that some code depends on.  %1$ !"#&'()*+,-./023456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghikjlmnopqvrstuwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABlCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkmynropqstuvwxz{|}~oBCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqpqrstuvwxyz{|}~n"#$%&'()*+,-./0123456789:  ;<=>?@Aijkl !pqrstuvwxyz{|}~    mn !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghK       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<<=>?@@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>>?@AAB+language-ats-1.2.0.2-9rOpDEJ25a2EhkBsfydWoh Language.ATSLanguage.ATS.LexerLanguage.ATS.TypesLanguage.ATS.PrettyPrintLanguage.ATS.ParserToken IdentifierSpecialIdentifierKeywordIntTokFloatTokCharTok StringTokSpecial CBlockLexIdentifierSpaceOperatorArrowFuncType CommentLex CommentBegin CommentEndCommentContents MacroBlockUintTok SignatureTokDoubleParenTokDoubleBracesTokDoubleBracketTokSpecialBracket FixityTokEndKwFunKwFnxKwAnd KwDatatype KwDatavtypeKwAssume KwTypedef KwVtypedefKwVtype KwStaload KwDynloadKwLetKwInKwLocalKwEnd KwImplementKwCaseKwIfKwSifKwThenKwElseKwValKwVarKwLambdaKwLinearLambda KwIncludeKwWhenKwOf KwAbspropKwPrvalKwStadefKwPraxiKwWhileKwWhereKwBegin KwOverloadKwWithKwIfCase KwDataview KwDatapropKwView KwAbstypeKwTypeKwAbst0p KwAbsvt0pKwT0pKwVt0pKwPrfunKwPrfnKwCastfnKwExtern KwAbsvtypeKwProofImplement KwSortdefKwExtVar KwPropdefKwRaiseKwTKindKwModKwFixAt KwLambdaAtKwAddrAtKwAddrKwStaKwViewAt KwViewdef KwSymintr KwAbsviewKwFnKwInfixKwInfixrKwInfixlKwStacst KwListLitKwMacdef KwDatasort KwExceptionAddendumNonePlusMinusAlexPosnAlexPnlexATS PreFunctionPreF$sel:fname:PreF $sel:sig:PreF$sel:preUniversals:PreF$sel:universals:PreF$sel:args:PreF$sel:returnType:PreF$sel:termetric:PreF$sel:_expression:PreF StackFunctionStackF$sel:stSig:StackF$sel:stArgs:StackF$sel:stReturnType:StackF$sel:stExpression:StackFFunctionFunFnFnxAndPrFunPrFnPraxiCastFn$sel:_preF:FunImplementation Implement$sel:pos:Implement$sel:preUniversalsI:Implement$sel:implicits:Implement$sel:universalsI:Implement$sel:nameI:Implement$sel:iArgs:Implement$sel:_iExpression:Implement ExpressionLet VoidLiteralCallNamedVal ListLiteralIfUintLitFloatLitIntLit UnderscoreLitLambda LinearLambdaIndexAccess StringLitCharLitAddrAtViewAtBinaryUnaryIfCaseCase RecordValuePrecede ProofExpr TypeSignatureWhereExpTupleExWhileActionsBeginBinList PrecedeListFixAtLambdaAt ParenExpr CommentExprMacroVar$sel:callName:Let$sel:callImplicits:Let$sel:callUniversals:Let$sel:callProofs:Let$sel:callArgs:Let $sel:cond:Let$sel:whenTrue:Let$sel:elseExpr:Let $sel:posE:Let$sel:ifArms:Let $sel:kind:Let $sel:val:Let$sel:_arms:Let $sel:_op:Let$sel:_exprs:LetStaticExpression StaticVal StaticBinary StaticIntSPrecede StaticVoidSifSCallSUnarySLet$sel:scond:StaticVal$sel:wwhenTrue:StaticVal$sel:selseExpr:StaticValBinOpAddMultDivSub GreaterThan GreaterThanEqLessThan LessThanEqEqual LogicalAnd LogicalOrStaticEqModNotEqMutateAtSpearOp SpecialInfixUnOpNegateDeref SpecialOp Existential$sel:boundE:Existential$sel:isOpen:Existential$sel:typeE:Existential$sel:propE:Existential Universal$sel:bound:Universal$sel:typeU:Universal$sel:prop:UniversalSort NamedSortT0pVt0pAddrVTypeView TupleSort$sel:_sortName:NamedSortArgPrfArgNoArgsSortArg AnonymousPairedBothFirstSecondPatternWildcardPNamePSumPLiteralGuardedFreeProof TuplePattern AtPatternUniversalPatternExistentialPatternName Unqualified Qualified SpecialName Functorial FieldName LambdaTypePlainFullSpearTypeTupleNamedExForA Dependent UnconsumedAsProofFromVTMaybeValAtExprAtType ProofType ConcreteTypeRefTypeViewType FunctionTypeNoneType ImplicitType ViewLiteralAnonymousRecord ParenType WhereType$sel:_typeCall:Tuple$sel:_typeCallArgs:Tuple DataPropLeaf$sel:propU:DataPropLeaf$sel:_propExpr1:DataPropLeaf$sel:_propExpr2:DataPropLeaf DataSortLeaf DeclarationFuncImpl ProofImplValStaValPrValVarAndDeclIncludeLoadStadefCBlockTypeDef ViewTypeDefSumType SumViewTypeAbsType AbsViewTypeAbsViewAbsVT0pAbsT0pViewDef OverloadOp OverloadIdentCommentDataPropDataViewExternDefineSortDefAndDLocalAbsPropAssumeTKindSymIntrStacstPropDef FixityDeclMacDeclDataSort ExceptionExtVar $sel:pos:Func$sel:_fun:Func$sel:implArgs:Func$sel:_impl:Func $sel:add:Func$sel:valT:Func$sel:valPat:Func$sel:_valExpression:Func$sel:prvalPat:Func$sel:_prValExpr:Func$sel:prValType:Func$sel:varT:Func$sel:varPat:Func$sel:_varExpr1:Func$sel:_varExpr2:Func$sel:andT:Func$sel:andPat:Func$sel:_andExpr:Func$sel:static:Func$sel:withOctothorpe:Func$sel:qualName:Func$sel:fileName:Func$sel:typeName:Func$sel:typeArgs:Func$sel:_leaves:Func$sel:_comment:Func$sel:propName:Func$sel:propArgs:Func$sel:_propLeaves:FuncSortArgsLeaf $sel:_constructorUniversals:Leaf$sel:name:Leaf$sel:constructorArgs:Leaf$sel:maybeType:LeafATS$sel:unATS:ATSFixityRightFixLeftFixPrePostInfix$sel:pos:RightFix$sel:ifix:RightFixconstructorUniversalsfunleaves expressionpreF FixityStatetypeCall typeCallArgsdefaultFixityStateprintATSprintATSCustom printATSFastATSErrorExpectedOneOfUnknownLexErrorprintErrwarnErrparseMparse parseWithCtxgetDependencies utf8Encode get_staload get_addendum to_string token_posnAlexAcc AlexAccNone AlexAccSkip AlexAccPredAlexAccSkipPred AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA#AlexunAlex AlexStatealex_posalex_inpalex_chr alex_bytesalex_scd getFixity rewriteATSPatternFFreeF WildcardFPNameFPSumF PLiteralFGuardedFProofF TuplePatternF AtPatternFUniversalPatternFExistentialPatternF ExpressionFLetFCallFPrecedeFBinaryF ParenExprF WhereExpFActionsF VoidLiteralF NamedValF ListLiteralFIfFUintLitF FloatLitFIntLitFUnderscoreLitFLambdaF LinearLambdaFIndexFAccessF StringLitFCharLitFAddrAtFViewAtFUnaryFIfCaseFCaseF RecordValueF ProofExprFTypeSignatureFTupleExFWhileFBeginFBinListF PrecedeListFFixAtF LambdaAtF CommentExprF MacroVarF$sel:callNameF:LetF$sel:callImplicitsF:LetF$sel:callUniversalsF:LetF$sel:callProofsF:LetF$sel:callArgsF:LetF$sel:condF:LetF$sel:whenTrueF:LetF$sel:elseExprF:LetF$sel:posEF:LetF$sel:ifArmsF:LetF$sel:kindF:LetF$sel:valF:LetF$sel:_armsF:LetF$sel:_opF:LetF$sel:_exprsF:LetFStaticExpressionF StaticValF StaticBinaryF StaticIntF SPrecedeF StaticVoidFSifFSCallFSUnaryFSLetF$sel:scondF:StaticValF$sel:wwhenTrueF:StaticValF$sel:selseExprF:StaticValFTypeFTupleFNamedFExFForAF DependentF UnconsumedFAsProofFFromVTF MaybeValFAtExprFAtTypeF ProofTypeF ConcreteTypeFRefTypeF ViewTypeF FunctionTypeF NoneTypeF ImplicitTypeF ViewLiteralFAnonymousRecordF ParenTypeF WhereTypeF$sel:_typeCallF:TupleF$sel:_typeCallArgsF:TupleFcomment rewriteDecl$$parseATSpreErr HappyAddrHappyA#HappyStk Happy_IntList HappyCons HappyAbsSyn