Navigation
Synopsis The super list operator on lists.
Syntax Exp1 >= Exp2
Types
Exp1 Exp2 Exp1 >= Exp2
list[T1] list[T2] bool
Description Yields true if the value of Exp2 is equal to or a sublist of the value of Exp1, and false otherwise.
Examples
rascal>[1, 2, 3, 4] >= [1, 2, 3];
bool: true
rascal>[1, 2, 3, 4] >= [1, 2, 3, 4];
bool: true
rascal>[1, 2, 3, 4] >= [1, 2, 3];
bool: true
rascal>[1, 2, 3, 4, 5] >= [1, 3, 5]
bool: true

Questions
Question [1].
The type of [$2059-06-05T17:50:35.894+01:00$, $2056-07-03$] >= [$2028-05-02T16:06:27.324+01:00$, $2114-10-04$, $2093-03-01$, $2026-02-02$, $2034-06-03T19:17:04.537+01:00$] is

Question [2].
[58,82,79,34] >= [58] == 

Question [3].
[-8] >= [-8] == 



Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit ask.rascal-mpl.org.