Returns true if a type with the given name is available, false otherwise.
type-available($type as xs:string) ➔ xs:boolean
The name of the required type, as a lexical QName
Links to W3C specifications
Notes on the Saxon implementation
The Saxon implementation has a minor restriction: if the argument is known only at run-time, then the function tests whether the type exists in the run-time configuration, which does not necessarily prove that it was present in the static context.
In Saxon the
type-available() function can be used to check for the
availability of Java classes. For example
type-available('jt:java.util.HashMap') returns true, where the prefix
jt is bound to the URI