Bureaucrats, editor, reviewer, Administrators
13,554
edits
Changes
Jump to navigation
Jump to search
m
Text replacement - "'''Signatures'''" to "'''Signature'''"
{| width='100%'
|- valign="top"
| width='120' | '''SignaturesSignature'''
|<pre>random:double() as xs:double</pre>
|- valign="top"
{| width='100%'
|- valign="top"
| width='120' | '''SignaturesSignature'''
|<pre>random:integer(
$max as xs:integer := ()
{| width='100%'
|- valign="top"
| width='120' | '''SignaturesSignature'''
|<pre>random:seeded-double(
$seed as xs:integer
{| width='100%'
|- valign="top"
| width='120' | '''SignaturesSignature'''
|<pre>random:seeded-integer(
$seed as xs:integer
{| width='100%'
|- valign="top"
| width='120' | '''SignaturesSignature'''
|<pre>random:gaussian(
$num as xs:integer
{| width='100%'
|- valign="top"
| width='120' | '''SignaturesSignature'''
|<pre>random:seeded-permutation(
$seed as xs:integer
{| width='100%'
|- valign="top"
| width='120' | '''SignaturesSignature'''
|<pre>random:uuid() as xs:string</pre>
|- valign="top"
