Skip to main content

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