Navigation
Synopsis Composition of two relation values.
Syntax Exp1 o Exp2
Types
Exp1 Exp2 Exp1 o Exp2
rel[T1, T2] rel[T2, T3] rel[T1, T3]
Description Returns the composition of two binary relations.
Examples 
rascal>import Relation;
ok
rascal>{<1,10>, <2,20>, <3,15>} o {<10,100>, <20,200>};
rel[int,int]: {
  <2,200>,
  <1,100>
}
Pitfalls We use the letter o as operator and this may conflict other defined names.

Questions
Question [1].
The type of {<7,8>,<13,-17>,<14,6>} o {<-17,5>,<8,7>,<6,-9>} is

Question [2]. 
{<1,-19>,<-11,-9>,<-10,-6>} o {<-9,-10>,<-19,-5>,<-6,4>} ==



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.