diff options
Diffstat (limited to 'clib/cList.ml')
| -rw-r--r-- | clib/cList.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clib/cList.ml b/clib/cList.ml index 646e39d23..2b627f745 100644 --- a/clib/cList.ml +++ b/clib/cList.ml @@ -116,6 +116,7 @@ sig val subtract : 'a eq -> 'a list -> 'a list -> 'a list val subtractq : 'a list -> 'a list -> 'a list val merge_uniq : ('a -> 'a -> int) -> 'a list -> 'a list -> 'a list + [@@ocaml.deprecated "Same as [merge_set]"] val distinct : 'a list -> bool val distinct_f : 'a cmp -> 'a list -> bool val duplicates : 'a eq -> 'a list -> 'a list |