Closed chipskram closed 2 months ago
Documentation for rand_int() was missing the possibility to pass a custom RNG as callback
rand_int()
Problem
Documentation for
rand_int()
was missing the possibility to pass a custom RNG as callback