List StrictSubList
rascal-0.34.0
Synopsis
The strict sublist operator on lists.
Syntax
Exp₁ < Exp₂
Types
Exp₁ | Exp₂ | Exp₁ < Exp₂ |
---|---|---|
list[T₁] | list[T₂] | bool |
Description
Yields true
if the value of Exp₁ is a strict sublist of the value of Exp₂, and false
otherwise.
Examples
rascal>[1, 2, 3] < [1, 2, 3, 4];
bool: true
rascal>[1, 2, 3, 4] < [1, 2, 3, 4];
bool: false
rascal>[1, 3, 5] < [1, 2, 3, 4, 5]
bool: true