Perm as bs
asserts that as
and bs
are permutations of each other.
This is a wrapper around List.Perm
, and for now has much less API.
For more complicated verification, use perm_iff_toList_perm
and the List
API.
- of_toArray_perm :: (
- )
Instances For
Perm as bs
asserts that as
and bs
are permutations of each other.
This is a wrapper around List.Perm
, and for now has much less API.
For more complicated verification, use perm_iff_toList_perm
and the List
API.