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