Agda.Compiler.JS.Compiler
compilerMain
compile
prefix
jsMod
jsFileName
jsMember
global'
global
reorder
reorder'
isTopLevelValue
isEmptyObject
insertAfter
curModule
definition
definition'
compileTerm
compilePrim
compileAlt
visitorName
local
qname
literal
litqname
writeModule
outFile
outFile_
copyRTEModules
primitives