Agda.Interaction.Options
data CommandLineOptions
data PragmaOptions
type OptionsPragma
type Flag opts
type Verbosity
checkOpts
parseStandardOptions
parsePragmaOptions
parsePluginOptions
defaultOptions
defaultInteractionOptions
defaultVerbosity
standardOptions_
unsafePragmaOptions
isLiterate
mapFlag
usage
tests