Synopsis Supermap operator on map values.
Syntax
Exp1 >= Exp2
Types
Exp1 | Exp2 | Exp1 >= Exp2 |
|---|---|---|
map[TK1,TV2] | map[TK2, TV2] | bool |
Description Yields
true if all key/value pairs in the map value of Exp2 occur in the map value Exp1
or the values of Exp1 and EXp2 are equal, and false otherwise.
Examples
rascal>("pear": 2, "apple": 1) >= ("apple": 1, "pear": 2); bool: true rascal>("pear": 2, "apple": 1, "banana" : 3) >= ("apple": 1, "pear": 2); bool: true rascal>("apple": 1, "banana" : 3) >= ("apple": 1, "pear": 2); bool: false