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

Questions
Question [1].
The type of [$2033-07-02$] <= [$2022-10-05$] is

Question [2]. 
[45,13,5] <= [45,13,26,14,5,2,0] ==

Question [3]. 
[true, true, false, false] <= [true, true, false, false] ==



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.