Merge branch 'RoMarQ/ligo-patch-3' into dev

This commit is contained in:
Tom Jack 2019-11-21 07:50:09 -06:00
commit 628ba3c0ae

View File

@ -41,10 +41,13 @@ let my_set: int_set =
const my_set: int_set = set end; const my_set: int_set = set end;
const my_set_2: int_set = set_empty; const my_set_2: int_set = set_empty;
``` ```
<!--Cameligo-->
```cameligo
let my_set: int_set = (Set.empty: int set)
```
<!--END_DOCUSAURUS_CODE_TABS--> <!--END_DOCUSAURUS_CODE_TABS-->
### Checking if set contains an element ### Checking if set contains an element
<!--DOCUSAURUS_CODE_TABS--> <!--DOCUSAURUS_CODE_TABS-->