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
Isomorphism
with a decoded typeA
.