Agda.Compiler.MAlonzo.Primitives
checkTypeOfMain
importsForPrim
xForPrim
primBody
noCheckCover
pconName
bltQual'