Visits a requires directive.
requires
Parameters:
d
p
Returns: a visitor-specified result
Diagram: Element