Module PList


module PList: sig  end
Operations and functions on lists: just like the List module but using physical equality instead of logical equality.
Author(s): Samuel Mimram

val assoc : 'a -> ('a * 'b) list -> 'b
See List.assoc.
val mem : 'a -> 'a list -> bool
See List.mem.
val add_no_dup : 'a -> 'a list -> 'a list
Add an element at the head of the list only if it is not yet present in the list (returns the given list else).
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a
Exactly the same as List.fold_left (only redefined here to avoid type variables generalization restrictions).
val rm_dup : 'a list -> 'a list
Remove duplicate elements in a list.