import UniType(UniType)
data RenameResult = NotRenaming | IsRenaming [(Id, Id)] | InconsistentRenaming [(Id, Id)]
atom2expr :: CoreAtom DefBindee -> CoreExpr Id DefBindee
import UniType(UniType)
data RenameResult = NotRenaming | IsRenaming [(Id, Id)] | InconsistentRenaming [(Id, Id)]
atom2expr :: CoreAtom DefBindee -> CoreExpr Id DefBindee