Agda.Interaction.Options
data
CommandLineOptions
type
Flag
opts
checkOpts
parseStandardOptions
parsePragmaOptions
parsePluginOptions
defaultOptions
standardOptions_
isLiterate
mapFlag
usage
tests