Rascal/Libraries/Prelude/ListRelation/ident

Name Rascal/Libraries/Prelude/ListRelation/ident

Synopsis The identity list relation.

Function lrel[&T, &T] ident (list[&T] S)

Usage import ListRelation;

Description The identity list relation for set S.

Examples

rascal>import ListRelation;
ok
rascal>ident(["mon", "tue", "wed"]);
lrel[str,str]: [
  <"mon","mon">,
  <"tue","tue">,
  <"wed","wed">
]

Questions

Question [1].

Question [2].

ident([1, 11, 8, 9]) ==

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]

Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit ask.rascal-mpl.org.