Agda.Compiler.UHC.Pragmas.Parse

parseCoreExpr

coreExprToCExpr

parseCoreData

parseCoreConstrs