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