Document `when/2` Condition

diff --git a/src/lib/when.pl b/src/lib/when.pl
index 567340575d179fd73e20d0b01b64ceef76796f2a..737aea431f3987d325c873d2b7a8f1c5e2944621 100644 (file)
--- a/src/lib/when.pl
+++ b/src/lib/when.pl
@@ -19,6 +19,7 @@ Provides the predicate `when/2`.
 %% when(Condition, Goal).
 %
 % Executes Goal when Condition becomes true.
+% Condition may consist of `ground(T)`, `nonvar(T)`, `C1,C2`, `C1;C2`.
 when(Condition, Goal) :-
     (   when_condition(Condition) ->
         (   Condition ->