The disabled:-prefixed forms of the dangerous entries in T, which is how a dangerous attribute is
neutralised without losing its value. Derived rather than enumerated, so marking an attribute
dangerous is enough to make its disabled form known to the type system.
The
disabled:-prefixed forms of the dangerous entries inT, which is how a dangerous attribute is neutralised without losing its value. Derived rather than enumerated, so marking an attribute dangerous is enough to make its disabled form known to the type system.