Documentation bug for `INTEGER.rem` and `IntInf.quotRem`

[YawarRaza7349]

The documentation of INTEGER.rem has a mistake. This mistake also appears the description of IntInf.quotRem. I noticed this mistake when I saw that the documentations for INTEGER.quot and INTEGER.rem conflicted with each other, with the former seeming to be accurate to actual implementations. Comparing the two should make it clear:

https://smlfamily.github.io/Basis/integer.html#SIG:INTEGER.quot:VAL

[MatthewFluet]

You mean using quot and rem infix? Or something else?

[MatthewFluet]

It also seems problematic to describe rem as "returns the remainder of the division of i by j" when that is the same as used to describe mod.

[YawarRaza7349]

You mean using quot and rem infix?

Yes, that. Weird that it's been there so long without people noticing.

It also seems problematic to describe rem as "returns the remainder of the division of i by j" when that is the same as used to describe mod.

I suppose there's the following sentence of each description that differentiates between the two, though I guess it would be clearer if they were not a separate sentence, but instead a second part of the same sentence. Instead of "the remainder", it could say "the number equivalent to i modulo j in the range {...} [with the same sign as {...}]".

Or it could just make "Returns i - ((i div j) * j)"/"Returns i - (quot (i, j) * j)" the definition instead of a clarifying postscript. It seems like the first "the remainder" sentence is meant to be a non-normative explanation anyway, so it could swap the normative part to be first and the non-normative part to be afterwards.