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.