let
last_of_index i =
match
i
with
One
n
|
Many
(_,n)
->
n