Identified Subtyping

An identified type A is said to be an identified subtype of another type B when A is defined as exactly, or as an amalgam of, B.

Content:

• Type relationship
• Identified Type Hierarchy