Closed galenseilis closed 2 weeks ago
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.
Added the integer and NoReturn types. Added comments indicating that NoReturn should be changed to Never in the future. Added PARAMETERS.