Implement CMRA via an isomorphism to another CMRA
Analogously to iso_cofe
, implement iso_cmra
to construct a cmraT across an isomorphism.
Fixes #253 (closed).
Analogously to iso_cofe
, implement iso_cmra
to construct a cmraT across an isomorphism.
Fixes #253 (closed).