Agda.Compiler.MAlonzo.Misc
curHsMod
ihname
unqhname
tlmodOf
xqual
xhqn
hsName
conhqn
bltQual
dname
duname
hsPrimOp
hsPrimOpApp
hsInt
hsTypedInt
hspLet
hsLet
hsVarUQ
hsAppView
hsOpToExp
hsLambda
hsMapAlt
hsMapRHS
mazstr
mazName
mazMod'
mazMod
mazerror
mazCoerceName
mazErasedName
mazCoerce
mazIncompleteMatch
rtmIncompleteMatch
mazUnreachableError
rtmUnreachableError
mazRTE
rtmQual
rtmVar
rtmError
unsafeCoerceMod
fakeD
fakeDS
fakeDQ
fakeType
fakeExp
fakeDecl
dummy
emptyBinds