Agda.Auto.Options

data Mode

data AutoHintMode

type Hints

data TimeOut

data AutoOptions

initAutoOptions

aoHints

aoTimeOut

aoPick

aoMode

aoHintMode

data AutoToken

autoTokens

parseArgs