Go to the first, previous, next, last section, table of contents.

Type Extension

It may occasionally be necessary to add new kinds of information to a type. For instance, new synthesis methods may require special data, or an interface may be able to use extra hints to improve its display. The extensions property can be used to store this kind of data.

TypeProperty: extensions properties...

This property is a catch-all for nonstandard type properties. Anything may appear here, but it will only be interpreted as much as needed, and unrecognized extensions will not be warned about (so if you misspell one, you won't find out).


Go to the first, previous, next, last section, table of contents.