| 1 | Value can be used to index list. |
| 0 | Value cannot be used to index list. |
| ListValue | List to check whether value can be an index of. |
| Index | Value to check whether it can be an index into the list. |
% IsValidListIndex [list 1 2 3] 2
1
% IsValidListIndex [list 4 5 6] 3
0