Agda.Compiler.MAlonzo.Primitives

isMainFunction

hasMainFunction

checkTypeOfMain

treelessPrimName

importsForPrim

xForPrim

primBody

noCheckCover

pconName

bltQual'