Relation<T> Concept
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>