From c60ae1465d7b56ef3645f656d98b294c75413700 Mon Sep 17 00:00:00 2001
From: Linus Wagner <linus.wagner@malighting.de>
Date: Sun, 10 Mar 2024 14:33:01 +0100
Subject: [PATCH] extend documentation isDisjoint

---
 src/org/rascalmpl/library/Set.rsc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/org/rascalmpl/library/Set.rsc b/src/org/rascalmpl/library/Set.rsc
index f891f0ba6b0..f634d1630b0 100644
--- a/src/org/rascalmpl/library/Set.rsc
+++ b/src/org/rascalmpl/library/Set.rsc
@@ -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;