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