Bureaucrats, editor, reviewer, Administrators
13,554
edits
Changes
Jump to navigation
Jump to search
no edit summary
| width='120' | '''Signature'''
|<pre>random:seeded-double(
$seed as xs:integer,
$num as xs:integer
) as xs:double*</pre>
| width='120' | '''Signature'''
|<pre>random:seeded-integer(
$seed as xs:integer, $num as xs:integer,
$max as xs:integer := ()
) as xs:integer*</pre>
| width='120' | '''Signature'''
|<pre>random:seeded-permutation(
$seed as xs:integer,
$items as item()*
) as item()*</pre>
