Agda.Auto.Auto

auto

data AutoResult

data AutoProgress