'monotonicAggregates' can apply to modules (see language spec)

This commit is contained in:
Philip Ginsbach
2024-05-23 16:20:45 +01:00
parent c0d623c056
commit 1129df9cb7

View File

@@ -446,7 +446,7 @@ The ``pragma[assume_small_delta]`` annotation has no effect and can be safely re
Language pragmas
================
**Available for**: |classes|, |characteristic predicates|, |member predicates|, |non-member predicates|
**Available for**: |modules|, |classes|, |characteristic predicates|, |member predicates|, |non-member predicates|
``language[monotonicAggregates]``
---------------------------------