koka
koka copied to clipboard
Incorrect formatting of docstrings
I read this in the source code:
// Return a strong random integer in the range [-2^^31^^, 2^^31^^).
pub fun srandom-int() : ndet int
srandom-int32().int
But this in the docs:
fun srandom-int(): ndet int
Return a strong random integer in the range [-2^31, 231^).