Types

  • Type any | error
  • A type parameter that is a subtype of any|error. Has the special semantic that when used in a declaration all uses in the declaration must refer to same type.

  • Type1 any | error
  • A type parameter that is a subtype of any|error. Has the special semantic that when used in a declaration all uses in the declaration must refer to same type.