Member predicate Http::ExplicitHeaderDefinition::defines

Holds if the header with (lower-case) name headerName is set to headerValue.

predicate defines(string headerName, string headerValue)