array::is_permutation

[DavePearce]

This method should be added to describe a permutation between two otherwise identical arrays.

[DavePearce]

I guess this would look something like this:

property is_permutation(int[] xs, int[] ys, int[] witness)
where ...

At the moment, there is no other way to do it?