Merge pull request #16580 from github/ginsbach/MonotonicAggregateModules

`monotonicAggregates` can apply to modules (see language spec)
This commit is contained in:
Philip Ginsbach
2024-05-23 16:40:29 +01:00
committed by GitHub

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]``
---------------------------------