Predicate isDomRootType
Holds if tp
is one of the roots of the DOM type hierarchy.
Import path
import javascript
predicate isDomRootType(ExternalType tp)
Holds if tp
is one of the roots of the DOM type hierarchy.
import javascript
predicate isDomRootType(ExternalType tp)