Agda.Compiler.MAlonzo.Primitives
checkTypeOfMain
importsForPrim
declsForPrim
xForPrim
primBody
pconName
hasCompiledData