![]() |
|
Navigation |
Synopsis The identity relation.
Function
rel[&T, &T] ident (set[&T] S)
Usage
import Relation;
Description The identity relation for set
S .
Examples
rascal>import Relation; ok rascal>ident({"mon", "tue", "wed"}); rel[str,str]: { <"tue","tue">, <"mon","mon">, <"wed","wed"> } Questions
Question [1].
![]() ![]()
Question [2].
![]() ![]() ![]() |