diff options
| author | Timothy Gu <timothygu99@gmail.com> | 2015-06-19 00:48:21 (GMT) |
|---|---|---|
| committer | Timothy Gu <timothygu99@gmail.com> | 2015-06-19 00:48:21 (GMT) |
| commit | a9590526e0bfc67184a10d122ac8e34b9f3e8024 (patch) | |
| tree | e851431d5e410ebae911366e7088b4b5444256d2 /doc/gmsl.html | |
| parent | f26a209e6a947d75d2ca1b07d68203263df2388c (diff) | |
| download | mxe-a9590526e0bfc67184a10d122ac8e34b9f3e8024.zip mxe-a9590526e0bfc67184a10d122ac8e34b9f3e8024.tar.gz mxe-a9590526e0bfc67184a10d122ac8e34b9f3e8024.tar.bz2 | |
Update gmsl and config.guess
Diffstat (limited to 'doc/gmsl.html')
| -rw-r--r-- | doc/gmsl.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/gmsl.html b/doc/gmsl.html index 822717b..28fd58d 100644 --- a/doc/gmsl.html +++ b/doc/gmsl.html @@ -250,6 +250,13 @@ Returns: Returns the set with the element removed<br> Returns: Returns $(true) if the element is in the set<br> </span> +<hr><b>set_is_not_member</b><br> +<br> +<span style="font-family: monospace;">Arguments: 1: A single element<br> + 2: A set<br> +Returns: Returns $(false) if the element is in the set<br> +</span> + <hr><b>set_union</b><br> <br> <span style="font-family: monospace;">Arguments: 1: A set<br> |