ModuleCでa.h b.hの順序でincludeしてるならmodule.cppのコンパイルでは
問題ないでしょ?というか、何のエラーが出るんだ。
むろん、ほかの翻訳単位相手なら、常にb.hをincludeする前に、
a.hをincludeしているか確認する必要がある