Skip to content

Commit

Permalink
extend documentation isDisjoint
Browse files Browse the repository at this point in the history
  • Loading branch information
Linus Wagner committed Mar 10, 2024
1 parent 2f2aa75 commit c60ae14
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions src/org/rascalmpl/library/Set.rsc
Original file line number Diff line number Diff line change
Expand Up @@ -521,6 +521,9 @@ public set[&T] intersection({}) = {};


@synopsis{Checks if all sets in the set are pairwise disjoint.}
@description{
To allow two elements (i.e. two sets) to be identical, the argument is of type list and not type set.
}
@examples{
```rascal-shell
import Set;
Expand Down

0 comments on commit c60ae14

Please sign in to comment.