Type annotations for seed.

Open galenseilis opened this issue 2 years ago • 1 comments

Added the integer and NoReturn types. Added comments indicating that NoReturn should be changed to Never in the future. Added PARAMETERS.

Dec 03 '23 22:12 galenseilis

Not merging for now. I am unsure about

# TODO: Rename `seed` to `set_seed` and `z` to `seed` or `random_seed`.

I understand why, but this is only an aesthetic change which would render some code not-back-compatible, and I do not want to commit to that needlessly at this point.

Apr 03 '24 10:04 geraintpalmer