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