sig
val
last :
'
a list
->
'
a
val
rassoc :
'
a
->
(
'
b *
'
a) list
->
'
b
end