Relation<T> Concept

A BinaryPredicate that has two parameters of the same type and provides a typedef named Domain . The domain of the relation is the type of the parameters.

Examples

EqualTo , Less -

Definition

Line 177 of System.Base/Concept.cm

Refinement

Type Parameters

T

Constraints

typename T.Domain
Same<T.Domain, T.FirstArgumentType> and Same<T.SecondArgumentType, T.Domain>