| SAXONICA | 
Function signature
| $type | xs:string | 
| Result | xs:boolean | 
Determines whether a type with a given name is available in the static context. The current implementation has a 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.