Specifies that R defines a binary relation over the set of expressions whose type and value category are those encoded by either t or u. More...
Specifies that R defines a binary relation over the set of expressions whose type and value category are those encoded by either t or u.