S | |
1 (Type/Class) | Agda.Auto.Convert |
2 (Data Constructor) | Agda.Auto.Convert |
sameVars | Agda.TypeChecking.Conversion |
sample | Agda.Utils.QuickCheck |
sample' | Agda.Utils.QuickCheck |
satisfy | Agda.Utils.ReadP |
sccomcount | Agda.Auto.NarrowingSearch |
scflip | Agda.Auto.NarrowingSearch |
sChecked | Agda.Interaction.GhciTop |
SClause | Agda.TypeChecking.Coverage |
sConsts | Agda.Auto.Convert |
Scope | |
1 (Type/Class) | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
2 (Data Constructor) | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
3 (Type/Class) | Agda.Utils.Warshall |
ScopeCheckDeclaration | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ScopeCheckDefinition | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ScopeCheckExpr | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
scopeCheckImport | Agda.Interaction.Imports |
ScopeCheckLHS | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
scopeCurrent | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
ScopedDecl | Agda.Syntax.Abstract |
ScopedDef | Agda.Syntax.Abstract |
ScopedExpr | Agda.Syntax.Abstract |
scopeImported | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeImports | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
ScopeInfo | |
1 (Type/Class) | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
2 (Data Constructor) | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeLocals | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeLookup | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
ScopeM | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
scopeModules | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeName | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeNameSpace | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeParents | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopePrecedence | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopePrivate | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopePublic | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scPats | Agda.TypeChecking.Coverage |
scPerm | Agda.TypeChecking.Coverage |
scsub1 | Agda.Auto.NarrowingSearch |
scsub2 | Agda.Auto.NarrowingSearch |
scSubst | Agda.TypeChecking.Coverage |
scTel | Agda.TypeChecking.Coverage |
sCurMeta | Agda.Auto.Convert |
secFreeVars | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
secondPart | Agda.TypeChecking.Telescope |
secTelescope | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Section | |
1 (Data Constructor) | Agda.Syntax.Abstract |
2 (Type/Class) | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
3 (Data Constructor) | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Sections | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
semi | Agda.Utils.Pretty |
SemiRing | Agda.Utils.SemiRing |
Semiring | |
1 (Type/Class) | Agda.Termination.Semiring |
2 (Data Constructor) | Agda.Termination.Semiring |
semiringInvariant | Agda.Termination.Semiring |
sep | |
1 (Function) | Agda.Utils.Pretty |
2 (Function) | Agda.TypeChecking.Pretty |
sepBy | Agda.Utils.ReadP |
sepBy1 | Agda.Utils.ReadP |
seqc | Agda.Auto.NarrowingSearch |
sEqs | Agda.Auto.Convert |
Set | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
set | Agda.Syntax.Internal |
set0 | Agda.Syntax.Internal |
setArgOccurrences | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
setBuiltinThings | Agda.TypeChecking.Monad.Builtin |
setCommandLineOptions | |
1 (Function) | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
2 (Function) | Agda.Interaction.GhciTop |
setContextPrecedence | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
setCurrentModule | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
setCurrentRange | Agda.TypeChecking.Monad.Trace, Agda.TypeChecking.Monad |
setDecodedModules | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad |
setFreqs | Agda.TypeChecking.Test.Generators |
setImportedSignature | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
setInput | Agda.Syntax.Parser.LookAhead |
setInputFile | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
setInterface | Agda.Compiler.MAlonzo.Misc |
setLastPos | Agda.Syntax.Parser.Monad |
setLexInput | Agda.Syntax.Parser.Alex |
setLocalVars | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
setMutualBlock | Agda.TypeChecking.Monad.Mutual, Agda.TypeChecking.Monad |
SetN | Agda.Syntax.Concrete |
setOptionsFromPragma | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
setOptionsFromPragmas | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
setParsePos | Agda.Syntax.Parser.Monad |
setPolarity | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
setPrevToken | Agda.Syntax.Parser.Monad |
SetRange | |
1 (Type/Class) | Agda.Syntax.Position, Agda.Interaction.GhciTop |
2 (Data Constructor) | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
setRange | Agda.Syntax.Position, Agda.Interaction.GhciTop |
setScope | Agda.TypeChecking.Monad.State, Agda.TypeChecking.Monad |
setScopeAccess | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
setShowImplicitArguments | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
setSignature | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
setTopLevelModule | Agda.TypeChecking.Monad.State, Agda.TypeChecking.Monad |
setTrace | Agda.TypeChecking.Monad.Trace, Agda.TypeChecking.Monad |
setVisitedModules | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad |
several | Agda.Interaction.Highlighting.Precise |
ShadowedModule | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBeApplicationOf | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBeAppliedToTheDatatypeParameters | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBeASort | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBeEmpty | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBePi | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBeRecordType | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldEndInApplicationOfTheDatatype | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
shouldReifyInteractionPoints | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
showA | Agda.Syntax.Abstract.Pretty |
showAsOptimizedConstructor | Agda.Compiler.Agate.OptimizedPrinter |
ShowAsOptimizedKind | Agda.Compiler.Agate.OptimizedPrinter |
showAsOptimizedKind | Agda.Compiler.Agate.OptimizedPrinter |
ShowAsOptimizedTerm | Agda.Compiler.Agate.OptimizedPrinter |
showAsOptimizedTerm | Agda.Compiler.Agate.OptimizedPrinter |
ShowAsOptimizedType | Agda.Compiler.Agate.OptimizedPrinter |
showAsOptimizedType | Agda.Compiler.Agate.OptimizedPrinter |
showAsUntypedConstructor | Agda.Compiler.Agate.UntypedPrinter |
ShowAsUntypedTerm | Agda.Compiler.Agate.UntypedPrinter |
showAsUntypedTerm | Agda.Compiler.Agate.UntypedPrinter |
showBehaviour | Agda.Termination.CallGraph |
showChar' | Agda.Syntax.Concrete.Pretty |
showClause | Agda.Compiler.Agate.Common |
showComparison | Agda.Interaction.BasicOps |
showConstraints | Agda.Interaction.CommandLine.CommandLine |
showContext | Agda.Interaction.CommandLine.CommandLine |
showHighlightingInfo | Agda.Interaction.Highlighting.Emacs |
showImplicitArgs | Agda.Interaction.GhciTop |
showImplicitArguments | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
showIndex | Agda.Utils.String |
showMetas | Agda.Interaction.CommandLine.CommandLine |
showNumIId | Agda.Interaction.GhciTop |
showOptimizedClause | Agda.Compiler.Agate.OptimizedPrinter |
showOptimizedDefinitions | Agda.Compiler.Agate.OptimizedPrinter |
showOptimizedLiteral | Agda.Compiler.Agate.Common |
showPat | Agda.TypeChecking.With |
showScope | Agda.Interaction.CommandLine.CommandLine |
showStatus | Agda.Interaction.GhciTop |
showString' | Agda.Syntax.Concrete.Pretty |
showTypeDeclaration | Agda.Compiler.Agate.OptimizedPrinter |
showTypeDeclarations | Agda.Compiler.Agate.OptimizedPrinter |
showTypeParameter | Agda.Compiler.Agate.OptimizedPrinter |
showUntypedApp | Agda.Compiler.Agate.UntypedPrinter |
showUntypedClause | Agda.Compiler.Agate.UntypedPrinter |
showUntypedDefinition | Agda.Compiler.Agate.UntypedPrinter |
showUntypedLiteral | Agda.Compiler.Agate.Common |
showValueDefinition | Agda.Compiler.Agate.OptimizedPrinter |
showValueDefinitions | Agda.Compiler.Agate.OptimizedPrinter |
shrink | Agda.Utils.QuickCheck |
Shrink2 | |
1 (Data Constructor) | Agda.Utils.QuickCheck |
2 (Type/Class) | Agda.Utils.QuickCheck |
ShrinkC | Agda.TypeChecking.Test.Generators |
shrinkC | Agda.TypeChecking.Test.Generators |
Shrinking | |
1 (Data Constructor) | Agda.Utils.QuickCheck |
2 (Type/Class) | Agda.Utils.QuickCheck |
shrinking | Agda.Utils.QuickCheck |
shrinkInit | Agda.Utils.QuickCheck |
shrinkIntegral | Agda.Utils.QuickCheck |
shrinkNothing | Agda.Utils.QuickCheck |
shrinkRealFrac | Agda.Utils.QuickCheck |
ShrinkState | Agda.Utils.QuickCheck |
shrinkState | Agda.Utils.QuickCheck |
SiblingCall | Agda.Utils.Trace |
Sig | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
sigDefinitions | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
sigMName | Agda.Compiler.MAlonzo.Misc |
Signature | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
sigSections | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
singleConstructorType | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
singleton | |
1 (Function) | Agda.Utils.Graph |
2 (Function) | Agda.Utils.Trie |
3 (Function) | Agda.Interaction.Highlighting.Precise |
Size | |
1 (Type/Class) | Agda.Termination.Matrix |
2 (Data Constructor) | Agda.Termination.Matrix |
size | |
1 (Function) | Agda.Utils.Size |
2 (Function) | Agda.Termination.Matrix |
3 (Function) | Agda.Termination.Lexicographic |
SizeConst | Agda.Utils.Warshall |
SizeConstraint | Agda.TypeChecking.SizedTypes |
Sized | Agda.Utils.Size |
sized | Agda.Utils.QuickCheck |
SizedList | |
1 (Type/Class) | Agda.TypeChecking.Test.Generators |
2 (Data Constructor) | Agda.TypeChecking.Test.Generators |
SizeExpr | |
1 (Type/Class) | Agda.Utils.Warshall |
2 (Type/Class) | Agda.TypeChecking.SizedTypes |
sizeExpr | Agda.TypeChecking.SizedTypes |
SizeInf | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
sizeInvariant | Agda.Termination.Matrix |
SizeMeta | Agda.TypeChecking.SizedTypes |
sizePolarity | Agda.TypeChecking.Polarity |
sizeRigid | Agda.Utils.Warshall |
SizeSuc | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
sizeSuc | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
sizeType | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
SizeVar | Agda.Utils.Warshall |
SizeView | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
sizeView | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
Skip | Agda.Auto.Syntax |
skipBlock | Agda.Syntax.Parser.Comments |
skipMany | Agda.Utils.ReadP |
skipMany1 | Agda.Utils.ReadP |
skipSpaces | Agda.Utils.ReadP |
sLub | Agda.Syntax.Internal |
smallestPos | Agda.Interaction.Highlighting.Precise |
Smart | |
1 (Data Constructor) | Agda.Utils.QuickCheck |
2 (Type/Class) | Agda.Utils.QuickCheck |
sMetas | Agda.Auto.Convert |
Solution | Agda.Utils.Warshall |
solve | Agda.Utils.Warshall |
solveConstraint | Agda.TypeChecking.Constraints |
solveConstraints | Agda.TypeChecking.Constraints |
solveSizeConstraints | Agda.TypeChecking.SizedTypes |
SomeWhere | Agda.Syntax.Concrete |
Sort | |
1 (Data Constructor) | Agda.Auto.Syntax |
2 (Type/Class) | Agda.Auto.Syntax |
3 (Type/Class) | Agda.Syntax.Internal |
4 (Data Constructor) | Agda.Syntax.Internal |
sort | Agda.Syntax.Internal |
SortCmp | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
sortFreq | Agda.TypeChecking.Test.Generators |
SortFreqs | |
1 (Type/Class) | Agda.TypeChecking.Test.Generators |
2 (Data Constructor) | Agda.TypeChecking.Test.Generators |
sortFreqs | Agda.TypeChecking.Test.Generators |
SortHead | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
sortInteractionPoints | Agda.Interaction.GhciTop |
SortLevel | Agda.Auto.Syntax |
sortOfConst | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
source | Agda.Termination.CallGraph |
SourceToModule | Agda.Interaction.FindFile |
sourceToModule | Agda.Interaction.FindFile |
space | Agda.Utils.Pretty |
splashScreen | Agda.Interaction.CommandLine.CommandLine |
Split | Agda.TypeChecking.Rules.LHS.Problem |
split | Agda.TypeChecking.Coverage |
split' | Agda.TypeChecking.Coverage |
SplitClause | Agda.TypeChecking.Coverage |
splitClause | Agda.TypeChecking.Coverage |
splitClauseWithAbs | Agda.TypeChecking.Coverage |
SplitError | |
1 (Type/Class) | Agda.TypeChecking.Rules.LHS.Problem |
2 (Type/Class) | Agda.TypeChecking.Coverage |
SplitPanic | Agda.TypeChecking.Rules.LHS.Problem |
splitPerm | Agda.TypeChecking.Telescope |
SplitProblem | Agda.TypeChecking.Rules.LHS.Problem |
splitProblem | Agda.TypeChecking.Rules.LHS.Split |
SplitTel | |
1 (Type/Class) | Agda.TypeChecking.Telescope |
2 (Data Constructor) | Agda.TypeChecking.Telescope |
splitTelescope | Agda.TypeChecking.Telescope |
splitType | Agda.Compiler.Agate.Common |
square | Agda.Termination.Matrix |
srcFile | Agda.Syntax.Position, Agda.Interaction.GhciTop |
SRes | Agda.Auto.NarrowingSearch |
sShowImplicitArguments | Agda.Interaction.GhciTop |
sSuc | Agda.Syntax.Internal |
standardOptions_ | Agda.Interaction.Options |
startPos | Agda.Syntax.Position, Agda.Interaction.GhciTop |
State | |
1 (Type/Class) | Agda.Interaction.GhciTop |
2 (Data Constructor) | Agda.Interaction.GhciTop |
Statistics | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Status | |
1 (Type/Class) | Agda.Interaction.GhciTop |
2 (Data Constructor) | Agda.Interaction.GhciTop |
status | Agda.Interaction.GhciTop |
stBuiltinThings | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stConstraints | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stCurrentModule | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stdArgs | Agda.Utils.QuickCheck |
stDecodedModules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stFreshThings | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stHaskellImports | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stImportedBuiltins | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stImportedModules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stImports | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stInteractionPoints | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stLocalBuiltins | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stMetaStore | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stModuleToSource | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stMutualBlocks | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
store | Agda.Utils.Pointer |
storeDecodedModule | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad |
stPersistentOptions | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stPragmaOptions | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Str | |
1 (Type/Class) | Agda.Utils.QuickCheck |
2 (Data Constructor) | Agda.Utils.Pretty |
3 (Type/Class) | Agda.TypeChecking.Primitive |
4 (Data Constructor) | Agda.TypeChecking.Primitive |
Strict | Agda.Syntax.Strict |
strict | Agda.Syntax.Strict |
String | Agda.Interaction.Highlighting.Precise |
string | Agda.Utils.ReadP |
stripImplicits | Agda.Syntax.Translation.InternalToAbstract, Agda.Interaction.GhciTop |
stripNoNames | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
stripWithClausePatterns | Agda.TypeChecking.With |
stScope | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stSignature | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stStatistics | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stTrace | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stVisitedModules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Style | |
1 (Type/Class) | Agda.Utils.Pretty |
2 (Data Constructor) | Agda.Utils.Pretty |
style | Agda.Utils.Pretty |
Sub | |
1 (Data Constructor) | Agda.Auto.Syntax |
2 (Type/Class) | Agda.TypeChecking.Rules.LHS.Unify |
sub | Agda.Auto.Typecheck |
SubConstraints | |
1 (Type/Class) | Agda.Auto.NarrowingSearch |
2 (Data Constructor) | Agda.Auto.NarrowingSearch |
Subst | Agda.TypeChecking.Substitute |
subst | Agda.TypeChecking.Substitute |
Substitution | Agda.TypeChecking.Rules.LHS.Problem |
substs | Agda.TypeChecking.Substitute |
substUnder | Agda.TypeChecking.Substitute |
Suc | Agda.Syntax.Internal |
Success | Agda.Utils.QuickCheck |
suchThat | Agda.Utils.QuickCheck |
suchThatMaybe | Agda.Utils.QuickCheck |
sucName | Agda.TypeChecking.Level |
Suffix | |
1 (Type/Class) | Agda.Utils.Suffix |
2 (Type/Class) | Agda.Utils.List |
suffixView | Agda.Utils.Suffix |
supremum | Agda.Termination.CallGraph |
SymArrow | Agda.Syntax.Parser.Tokens |
SymAs | Agda.Syntax.Parser.Tokens |
SymBar | Agda.Syntax.Parser.Tokens |
Symbol | |
1 (Type/Class) | Agda.Syntax.Parser.Tokens |
2 (Data Constructor) | Agda.Interaction.Highlighting.Precise |
symbol | Agda.Syntax.Parser.LexActions |
SymCloseBrace | Agda.Syntax.Parser.Tokens |
SymCloseParen | Agda.Syntax.Parser.Tokens |
SymClosePragma | Agda.Syntax.Parser.Tokens |
SymCloseVirtualBrace | Agda.Syntax.Parser.Tokens |
SymColon | Agda.Syntax.Parser.Tokens |
SymDot | Agda.Syntax.Parser.Tokens |
SymEllipsis | Agda.Syntax.Parser.Tokens |
SymEqual | Agda.Syntax.Parser.Tokens |
SymLambda | Agda.Syntax.Parser.Tokens |
SymOpenBrace | Agda.Syntax.Parser.Tokens |
SymOpenParen | Agda.Syntax.Parser.Tokens |
SymOpenPragma | Agda.Syntax.Parser.Tokens |
SymOpenVirtualBrace | Agda.Syntax.Parser.Tokens |
SymQuestionMark | Agda.Syntax.Parser.Tokens |
SymSemi | Agda.Syntax.Parser.Tokens |
SymUnderscore | Agda.Syntax.Parser.Tokens |
SymVirtualSemi | Agda.Syntax.Parser.Tokens |
sync | Agda.Syntax.Parser.LookAhead |