Agda.Compiler.UHC.Pragmas.Base

type CoreExpr

data CoreType

data CoreConstr

coreConstrToCTag

setTag

data HsName