Improve the description of append/3 to convey its generality

mthom · Jan 17, 2025 · a17e529 · a17e529
1 parent d8685cf
commit a17e529
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/lists.pl b/src/lib/lists.pl
@@ -157,7 +157,7 @@
 
 %% append(Xs0, Xs1, Xs).
 %
-% List Xs is the concatenation of Xs0 and Xs1
+% True if list Xs is the concatenation of Xs0 and Xs1
 %
 % ```
 % ?- append([1,2,3], [4,5,6], Xs).