diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/list.mli | 4 | ||||
| -rw-r--r-- | stdlib/set.mli | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/list.mli b/stdlib/list.mli index 80e3b62bd..e39795887 100644 --- a/stdlib/list.mli +++ b/stdlib/list.mli @@ -117,10 +117,10 @@ val exists2 : pred:('a -> 'b -> bool) -> 'a list -> 'b list -> bool (* Same as [for_all] and [exists], but for a two-argument predicate. Raise [Invalid_argument] if the two lists have different lengths. *) -val mem : key:'a -> 'a list -> bool +val mem : item:'a -> 'a list -> bool (* [mem a l] is true if and only if [a] is equal to an element of [l]. *) -val memq : key:'a -> 'a list -> bool +val memq : item:'a -> 'a list -> bool (* Same as [mem], but uses physical equality instead of structural equality to compare list elements. *) diff --git a/stdlib/set.mli b/stdlib/set.mli index 7317915a6..e48cbd4c5 100644 --- a/stdlib/set.mli +++ b/stdlib/set.mli @@ -46,14 +46,14 @@ module type S = (* The empty set. *) val is_empty: t -> bool (* Test whether a set is empty or not. *) - val mem: key:elt -> t -> bool + val mem: item:elt -> t -> bool (* [mem x s] tests whether [x] belongs to the set [s]. *) - val add: key:elt -> t -> t + val add: item:elt -> t -> t (* [add x s] returns a set containing all elements of [s], plus [x]. If [x] was already in [s], [s] is returned unchanged. *) val singleton: elt -> t (* [singleton x] returns the one-element set containing only [x]. *) - val remove: key:elt -> t -> t + val remove: item:elt -> t -> t (* [remove x s] returns a set containing all elements of [s], except [x]. If [x] was not in [s], [s] is returned unchanged. *) val union: t -> t -> t |