From 1436286fd6e47f7f18899dd9d7f8c6ff20b1030e Mon Sep 17 00:00:00 2001 From: Bayle Shanks Date: Thu, 10 Aug 2017 10:08:53 -0700 Subject: [PATCH] doc typo set::MEM (again) This pull request is identical to recently closed #19, but applied to the current head. I think #19 may have been closed erroneously. If MEM takes as an input a set of elements of type 'elt, then if it also takes another input which is an element to test for membership, clearly that other input must be of type 'elt. If #19 was not closed erroneously, then please explain, and i will stop reopening this issue. --- src/proto/alpha/docs/language.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/proto/alpha/docs/language.md b/src/proto/alpha/docs/language.md index b75af370e..a28a44ddb 100644 --- a/src/proto/alpha/docs/language.md +++ b/src/proto/alpha/docs/language.md @@ -755,7 +755,7 @@ constants as is, concatenate them and use them as keys. * `MEM`: Check for the presence of an element in a set. - :: 'key : set 'elt : 'S -> bool : 'S + :: 'elt : set 'elt : 'S -> bool : 'S * `UPDATE`: Inserts or removes an element in a set, replacing a previous value.