Agda.Compiler.MAlonzo.Primitives

checkTypeOfMain

importsForPrim

declsForPrim

mazNatToInteger

mazHBoolToBool

mazBoolToHBool

mazStringToList

mazListToString

mazHListToList

mazListToHList

mazCharToInteger

mazIntToNat

mazNatToInt

mazIntegerToNat

xForPrim

primBody

repl

pconName

hasCompiledData

bltQual'