Since the concept is not part of the module, but part of a "traditional" header file, you cannot import it as part of that module. However, you can continue to #include the header file that declares the concept in the file that needs the concept.