Agda.Compiler.Backend
data Backend
data Backend' opts env menv mod def
data Recompile menv mod
data IsMain
type Flag opts
toTreeless
backendInteraction
parseBackendOptions
callBackend