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