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