Name Rascal/Expressions/Values/Map/StrictSubMap

Synopsis Strict 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 and the values of Exp1 and EXp2 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

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