Agda.Compiler.JS.Compiler

compilerMain

compile

jsMod

jsFileName

jsMember

global'

global

reorder

reorder'

insertAfter

curModule

definition

defn

numPars

clause

mapping

mapping'

pattern

tag

visitorName

body

term

isSingleton

defProjection

args

qname

literal

dummyLambda

writeModule

compileDir

outFile

outFile_