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
Currently there is no relation between LabelledWrite and Write, neither via inheritance nor implicit conversion (Write could be derived from LabelledWrite).
It would be nice to be able to use LabelledWrite where Write is required. WDYT?
Currently there is no relation between
LabelledWriteandWrite, neither via inheritance nor implicit conversion (Writecould be derived fromLabelledWrite).It would be nice to be able to use
LabelledWritewhereWriteis required. WDYT?