Agda.Compiler.MAlonzo.Misc
setInterface
curIF
curSig
curMName
curHsMod
curDefs
sigMName
ihname
unqhname
tlmodOf
tlmname
xqual
xhqn
conhqn
bltQual
dsubname
hsVarUQ
mazstr
mazName
mazMod'
mazMod
mazerror
mazCoerce
mazIncompleteMatch
rtmIncompleteMatch
mazRTE
rtmMod
rtmQual
rtmVar
rtmError
unsafeCoerceMod
fakeD
fakeDS
fakeDQ
fakeType
fakeExp
dummy
emptyBinds