Synopsis Strict submap operator on map values.
Syntax Exp1 < Exp2
Exp1 Exp2 Exp1 < Exp2
map[TK1,TV2] map[TK2, TV2] bool
Description Yields true if all key/value pairs in the map value of Exp1 occur in the map value Exp2 and the values of Exp1 and EXp2 are not equal, and false otherwise.
rascal>("apple": 1, "pear": 2) < ("pear": 2, "apple": 1, "banana" : 3);
bool: true
rascal>("apple": 1, "pear": 2) < ("apple": 1, "banana" : 3);
bool: false
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