Agda.Compiler.MAlonzo.Compiler
compilerMain
compile
imports
definitions
definition
checkConstructorType
checkCover
constructorArity
clause
argpatts
clausebody
term
literal
hslit
condecl
cdecl
tvaldecl
infodecl
hsCast
writeModule
malonzoDir
outFile
callGHC