diff --git a/docs/codeql/ql-language-reference/formulas.rst b/docs/codeql/ql-language-reference/formulas.rst index c17ba858ed7c..06d428436c57 100644 --- a/docs/codeql/ql-language-reference/formulas.rst +++ b/docs/codeql/ql-language-reference/formulas.rst @@ -133,13 +133,11 @@ A range check is a formula that looks like: in -You can use a range check formula to check whether a numeric expression is in a given +It holds if there is at least one value in ```` that is also in the given :ref:`range `. For example, ``x in [2.1 .. 10.5]`` holds if the variable ``x`` is between the values ``2.1`` and ``10.5`` (including ``2.1`` and ``10.5`` themselves). Note that `` in `` is equivalent to `` = ``. -Both formulas check whether the set of values denoted by ```` is the same as the -set of values denoted by ````. .. _calls: