final object Uniques

Defines operation unique for hash-consing types. Also defines specialized hash sets for hash consing uniques of a specific type. All sets offer a enterIfNew method which checks whether a type with the given parts exists already and creates a new one if not.



final class NamedTypeUniques
final class RefinedUniques
final class TypeAliasUniques
private def recordCaching ( tp: Type ) : Unit
private def recordCaching ( h: Int , clazz: Class [ Nothing <: Any ] ) : Unit
def unique ( tp: T ) ( implicit ctx: Context ) : T