Marek Polacek <polacek@redhat.com> writes:
> > +Only emit the module CMI, inhibiting any object file.
>
> Maybe say here that CMI is Compiled Module Interface.
FYI, SG15 (WG21 study group on tooling) seems to have settled
on BMI ("built module interface"):
https://github.com/cplusplus/modules-ecosystem-tr/blob/master/definitions.tex