Agda-2.2.10: A dependently typed functional programming language and proof assistantContentsIndex
ABCDEFGHIJKLMNOPQRSTUVWXYZ:!$&+./<=>|-
Index (O)
O
Occ
OccClause
occClause
OccCon
occConstructor
occDatatype
occFunction
OccPos
occPosition
Occurrence
Occurrences
occurrences
Occurs
occurs
occursAs
occursCheck
1 (Function)
2 (Function)
OccursCtx
OccursWhere
octDigit
ofExpr
offsideRule
ofName
OfType
OfType'
OHCon
OHPats
OK
OKHandle
OKMeta
OKVal
1 (Type/Class)
2 (Data Constructor)
OldModuleName
OldName
1 (Type/Class)
2 (Data Constructor)
OldQName
oldToNewNotation
on
OneHolePattern
OneHolePatterns
OneLineMode
oneof
onSub
Op
OpApp
OpAppP
OpAppV
opBrackets
Open
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
4 (Type/Class)
openBrace
openModule_
OpenShortHand
OpenThing
oplus
opP
optAllowUnsolved
optCompile
optCompileDir
optCompletenessCheck
optCSSFile
optDisablePositivity
optEpicCompile
optEpicFlags
optForcing
optGenerateHTML
optGenerateVimFile
optGhcFlags
optGuardingTypeConstructors
optHTMLDir
optIgnoreInterfaces
optIncludeDirs
optInjectiveTypeConstructors
optInputFile
optInteractive
option
optional
optionError
Options
OptionsPragma
1 (Data Constructor)
2 (Data Constructor)
3 (Type/Class)
optIrrelevantProjections
optPragmaOptions
optProgramName
optProofIrrelevance
optRunTests
optShowHelp
optShowImplicit
optShowVersion
optSizedTypes
optTerminationCheck
optTerminationDepth
optUniverseCheck
optUniversePolymorphism
optUnreachableCheck
optVerbose
optWithoutK
Or
Order
Ordered
OrderedList
orderedList
orderFields
orderMat
originalClause
OtherAspect
otherAspects
OtherSize
OtherV
otimes
Out
outFile
outFile'
outFile_
OutputForm
OutputForm'
outputFormId
outsideScope
overlapping
OverlappingProjects