Shared arguments required for testing an Isomorphism with a decoded type A.
Isomorphism
A
An arbitrary for the decoded value of the Isomorphism of type A.
An equivalence for the decoded value of the Isomorphism of type A.
Shared arguments required for testing an
Isomorphismwith a decoded typeA.