Agda.Compiler.MAlonzo.Misc
setInterface
curIF
curSig
curMName
curHsMod
curDefs
sigMName
ihname
unqhname
tlmodOf
tlmname
xqual
xhqn
conhqn
bltQual
hsVarUQ
mazMod
mazRTE
fakeD
fakeDS
fakeDQ
fakeType
fakeExp
dummy
gshow'