Alea:

_seeds:

List of string seeds used to initialize the Alea random number generator.

gen(): number

Generate a random number in [0-1).

returnsA number between 0 and 1.

state: AleaInternalState

Internal state of the Alea random number generator.

seed(): string[]

List of string seeds used to initialize the Alea random number generator.

seed(value: string | string[] ):

save(): string

load(data: string ): boolean