module List: sig .. end
sig
end
include List
val last : 'a list -> 'a
'a list -> 'a
val assoc_remove : 'a -> ('a * 'b) list -> 'b * ('a * 'b) list
'a -> ('a * 'b) list -> 'b * ('a * 'b) list