gmp_random_seed
Supported Versions: PHP 7, PHP 8
Sets the RNG seed
<?php gmp_random_seed
(
GMP
|
int
|
string $seed
):
void