Module Eliom_pervasives.​List

module List : sig..end

include List

val is_prefix_skip_end_slash : string list -> string list -> bool

val chop : int -> 'a list -> 'a list

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