We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 1653433 + 9157dde commit d884726Copy full SHA for d884726
docs/codeql/ql-language-reference/signatures.rst
@@ -73,7 +73,7 @@ Module signatures declare module parameters that will be substituted with module
73
Module signatures specify a collection of types and predicates that a module needs to contain under given names and
74
matching given signatures.
75
76
-Unlike type signatures and predicate signatures, the substitution of type signatures relies on nominal typing.
+Unlike type signatures and predicate signatures, the substitution of module signatures relies on nominal typing.
77
That is, the definition of a module must declare the module signatures it implements.
78
79
In detail, a type signature definition consists of:
0 commit comments