Member predicate HTTP::HTTP::ExplicitHeaderDefinition::definesExplicitly

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

predicate definesExplicitly(string headerName, Expr headerValue)