Name Rascal/Expressions/Values/Map/SubMap

Synopsis Submap 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 Exp1 occur in the map value Exp2 or the values of Exp1 and Exp2 are equal, and false otherwise.

Examples

rascal>("apple": 1, "pear": 2) <= ("pear": 2, "apple": 1);
bool: true
rascal>("apple": 1, "pear": 2) <= ("pear": 2, "apple": 1, "banana" : 3);
bool: true
rascal>("apple": 1, "pear": 2) <= ("apple": 1, "banana" : 3);
bool: false

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