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...
Inheritance diagram for relation: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.