Agda.Auto.Options
data Mode
data AutoHintMode
type Hints
data TimeOut
data AutoOptions
initAutoOptions
aoHints
aoTimeOut
aoPick
aoMode
aoHintMode
data AutoToken
autoTokens
parseArgs