Open mohamed-barakat opened 2 years ago
The only difference I can spot is how source/range of the return value is written. Is this what you mean?
Yes.
I would suggest the for all WithGiven
-operations the WithGiven
-object(s) should appear as the source/target.
Example: The two following CAP operations use a different style in the documentation:
UniversalMorphismIntoDirectProductWithGivenDirectProduct
UniversalMorphismFromCoproductWithGivenCoproduct