default_random_source


default_random_source()
      

Return the random source object which is used by the random_integer, random_real and random_byte_array functions.


Core Module Index | Contents