Agda.Compiler.JS.Compiler
jsBackend
jsBackend'
data JSOptions
defaultJSOptions
jsCommandLineFlags
jsPreCompile
jsPostCompile
type JSModuleEnv
jsPreModule
jsPostModule
jsCompileDef
prefix
jsMod
jsFileName
jsMember
global'
global
reorder
reorder'
isTopLevelValue
isEmptyObject
insertAfter
curModule
definition
checkCompilerPragmas
defJSDef
definition'
compileTerm
compileTerm'
compilePrim
compileAlt
visitorName
flatName
local
qname
literal
litqname
writeModule
outFile
outFile_
copyRTEModules
primitives