Map StrictSubMap
rascal-0.34.0
Synopsis
Strict submap operator on map values.
Syntax
Exp₁ < Exp₂
Types
Exp₁ | Exp₂ | Exp₁ < Exp₂ |
---|---|---|
map[TK₁,TV₂] | map[TK₂, TV₂] | bool |
Description
Yields true
if all key/value pairs in the map value of Exp₁ occur in the map value Exp₂
and the values of Exp₁ and EXp₂ are not equal, and false
otherwise.
Examples
rascal>("apple": 1, "pear": 2) < ("pear": 2, "apple": 1, "banana" : 3);
bool: true
rascal>("apple": 1, "pear": 2) < ("apple": 1, "banana" : 3);
bool: false