Types
- DetailType Detail
A type parameter that is a subtype of error Detail
record type.
Has the special semantic that when used in a declaration
all uses in the declaration must refer to same type.
A type parameter that is a subtype of error Detail
record type.
Has the special semantic that when used in a declaration
all uses in the declaration must refer to same type.