Identified TypesΒΆ

An identified type is a type which is arbitrarily defined as a subtype of another type. Its nomenclature comes from the fact that it is recognized by the identifier of generic members.