Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit deecf76

Browse files
ginsbachginsbach
committed
define -> declare
1 parent e8a1925 commit deecf76

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎docs/codeql/ql-language-reference/modules.rst‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -140,7 +140,7 @@ Parameterised modules
140140

141141
Parameterised modules are QL's approach to generic programming.
142142
Similar to explicit modules, parameterised modules are defined within other modules using the keywork ``module``.
143-
In addition to the module name, parameterised modules define one or more parameters between the name and the module body.
143+
In addition to the module name, parameterised modules declare one or more parameters between the name and the module body.
144144

145145
For example, consider the module ``ApplyFooThenBar``, which takes two predicate parameters and defines a new predicate
146146
that applies them one after the other:

0 commit comments

Comments
 (0)