Agda.Auto.Auto
auto
data
AutoResult
data
AutoProgress