You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As questioned here, it seems unnecessary to have both CmRDT and CvRDT bounds attached to the Map actor. The user might not be able to create an instance for both these traits, and so should be able to choose just one when interacting with Map.
The text was updated successfully, but these errors were encountered:
As questioned here, it seems unnecessary to have both
CmRDT
andCvRDT
bounds attached to theMap
actor. The user might not be able to create an instance for both these traits, and so should be able to choose just one when interacting withMap
.The text was updated successfully, but these errors were encountered: