Agda.Compiler.MAlonzo.Primitives

checkTypeOfMain

importsForPrim

declsForPrim

mazNatToInteger

mazIntegerToNat

mazNatToInt

mazIntToNat

mazCharToInteger

mazListToHList

mazHListToList

mazListToString

mazStringToList

mazBoolToHBool

mazHBoolToBool

xForPrim

primBody

repl

pconName

hasCompiledData

bltQual'