Agda.Compiler.MAlonzo.Misc
setInterface
curIF
curSig
curMName
curHsMod
curDefs
sigMName
Types coming from Agda are named
T<number>
.
Other definitions coming from Agda are named
d<number>
.
Names coming from Haskell must always be used qualified.
ihname
unqhname
tlmodOf
tlmname
xqual
xhqn
conhqn
bltQual
hsVarUQ
mazMod
mazRTE
fakeD
fakeDS
fakeDQ
fakeType
fakeExp
dummy
gshow'