The operator shrink() converts an arbitraty list into an element list (possibly a mixed-content list):
- elements are left untouched;
- documents are converted to their body;
- all other members of the list are converted to strings.
Finally, shrink() concatenates all adjacent strings into a single string. If string is specified, adjacent strings are separated by string during concatenation.
Prototype
list <-- shrink ( list [, string ] )
Examples
shrink([1, 2, %<A>3</A>%, 4, 5]); 12<A> 3 </A>45count(shrink([1, 2, %<A>3</A>%, 4, 5])); 3shrink([1, 2, %<A>3</A>%, 4, 5], " "); 1 2<A>
3
</A>4 5