Types
XSLT 2.0 allows you to declare:
The return type of (user-declared) functions.
The return type of templates.
Both the type and required type of parameters.
The type of variables.
The type of sequences (constructed with
xsl:sequence)
The type of keys.