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