On 11/1/05, Michael Kay wrote:

> $x instance of TYPE

> [...]

> However, for diagnostic purposes, Saxon has an extension function
> saxon:type-annotation(node)

  It's exactly what I looked for, and why using 'instance of' is not a
solution (debugging purposes).  I definitively have to install Saxon
:-).

  Thanks,

--drkm