Agda.Compiler.Epic.FromAgda
fromAgda
translateDefn
reverseCCBody
compileClauses
substTerm
substLit