hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

spelling: substitution

Browse Source 
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
This commit is contained in:
Josh Soref
2022-10-19 23:25:41 -04:00
parent 7cc61ec018
commit 8fa524cd52
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/codeql/ql-language-reference/signatures.rst
View File

@@ -22,8 +22,8 @@ Predicate signatures are defined much like predicates themselves, but they do no
In detail, a predicate signature definition consists of:
#. The keyword ``signature``.
#. The keyword ``predicate`` (allows subsitution with a :ref:`predicate without result <predicates-without-result>`),
or the type of the result (allows subsitution with a :ref:`predicate with result <predicates-with-result>`).
#. The keyword ``predicate`` (allows substitution with a :ref:`predicate without result <predicates-without-result>`),
or the type of the result (allows substitution with a :ref:`predicate with result <predicates-with-result>`).
#. The name of the predicate signature. This is an `identifier <https://codeql.github.com/docs/ql-language-reference/ql-language-specification/#identifiers>`_
starting with a lowercase letter.
#. The arguments to the predicate signature, if any, separated by commas.