Type Alias RequiresExp

A requirement expression.