Type alias RequiresExp

A requirement expression.