Member predicate Include :: provides

Gets a file which might be transitively included by this #include.

Note that as this isn’t computed within the context of a particular translation unit, it is often a slight over-approximation.