instance of

The instance of operator tests if an item is an instance of a given type (or is derived by restriction from it):

$div instance of element(*, eg:Chapter)

returns true if $div is a chapter.

5 instance of xs:decimal

returns true because 5 is an integer and integers are a restriction of decimals.

Example: