On 10/26/18 11:23 AM, Stefan Monnier wrote:
> I think we should say here that the semantics is that of `equal` and not
> that of `eq` (or `=` or whatever else).

How about the attached doc patch?