Agda.Compiler.JS.Compiler
compilerMain
compile
prefix
jsMod
jsFileName
jsMember
global'
global
reorder
reorder'
isTopLevelValue
isEmptyObject
insertAfter
curModule
definition
defn
numPars
clause
mapping
mapping'
pattern
tag
visitorName
body
term
isSingleton
args
qname
literal
dummyLambda
writeModule
compileDir
outFile
outFile_