You don't have to declare the type of read s, as it is given by the function type signature.
If you changed jobs.split_at(index) to jobs.split_at(index + 1) you don't have to add v at the end.
jobs.split_at(index)
jobs.split_at(index + 1)
v
Same:
It should work for random inputs too: 1779979416004714189 should equal 1.7799794160047142e+18
Loading collection data...
You don't have to declare the type of read s, as it is given by the function type signature.
If you changed
jobs.split_at(index)
tojobs.split_at(index + 1)
you don't have to addv
at the end.Same:
It should work for random inputs too: 1779979416004714189 should equal 1.7799794160047142e+18