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'