Record of arguments required to test several encodings of the type A. Each
Isomorphism requires an equivalence and an arbitrary for the encoded type,
where the key is the encoding name. As all the encodings share a decoded
type, only a single arbitrary/equivalence of A is required.
Record of arguments required to test several encodings of the type
A. EachIsomorphismrequires an equivalence and an arbitrary for the encoded type, where the key is the encoding name. As all the encodings share a decoded type, only a single arbitrary/equivalence ofAis required.