Arg has unlawful instances

Henning Thielemann lemming at
Fri May 10 23:30:10 UTC 2019

On Fri, 10 May 2019, David Feuer wrote:

> There also needs to be some documentation about the fact that the Arg 
> constructor allows inspection that does not respect Eq.

This follows from Arg's purpose.

More information about the Libraries mailing list