default_random_source()
Return the random source object which is used by the random_integer, random_real and random_byte_array functions.
random_integer
random_real
random_byte_array
Core Module Index | Contents