Agda.Compiler.MAlonzo.Primitives

checkTypeOfMain

importsForPrim

declsForPrim

xForPrim

primBody

pconName

hasCompiledData