On Fri, May 13, 2022 at 16:37:15 -0400, ben.boeckel_at_[hidden] wrote:
> Attached is a draft of P1689R5 with a proposed naming of the key for
> providing "is this provided module part of the interface" information.
> For C++, this means "has the `export` keyword. In order to avoid a
> bikeshed round of meeting time, I'd like to read the winds as to how
> this should be named:

This has been submitted to the paper queue as P1689R5 with only a minor
fix as pointed out by Danielle and metadata updates.

Thanks,

--Ben