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
The library conventionally uses lowercase letters for objects. This was pointed out by Alisdair during the review (San Diego 2018) but the author said the choice of X was based on the wording for launder. However, [ptr.launder] uses a math font X which is a little more obvious it's not using our usual convention for types.