Agda.Compiler.MAlonzo.Primitives
checkTypeOfMain
importsForPrim
declsForPrim
mazNatToInteger
mazIntegerToNat
mazNatToInt
mazIntToNat
mazCharToInteger
mazListToHList
mazHListToList
mazListToString
mazStringToList
mazBoolToHBool
mazHBoolToBool
xForPrim
primBody
repl
pconName
hasCompiledData
bltQual'