···11+2 errors occurred while validating:
22+[1/2] error: invalid `start`
33+--> main.sml:1:39
44+ |
55+ 1 | Result = StringSlice(s="abcdef", start=0, end=-1)
66+ | ^ `start` must be less than or equal to `end`
77+[2/2] error: invalid `end`
88+--> main.sml:1:47
99+ |
1010+ 1 | Result = StringSlice(s="abcdef", start=0, end=-1)
1111+ | ^ `end` must be a non-negative integer
···11+error: invalid `start`
22+--> main.sml:1:39
33+ |
44+ 1 | Result = StringSlice(s="abcdef", start=5, end=2)
55+ | ^ `start` must be less than or equal to `end`