Agda.Interaction.Options
type Flag opts
type Verbosity