Module Eliom_pervasives.​List

module List : sig..end

include List

val assoc_remove : 'a -> ('a * 'b) list -> 'b * ('a * 'b) list

val remove_all_assoc : 'a -> ('a * 'b) list -> ('a * 'b) list

val remove_first_if_any : 'a -> 'a list -> 'a list

val remove_first_if_any_q : 'a -> 'a list -> 'a list

val map_filter : ('a -> 'b option) -> 'a list -> 'b list