CSPM.DataStructures.Names

Data Types

data OccName

data UnRenamedName

data Name

data NameType

Construction Helpers

mkExternalName

mkInternalName

mkWiredInName

mkFreshInternalName

Utility Functions

isNameDataConstructor