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

Accept auto-format suggestion

Browse Source 
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Kasper Svendsen
2022-10-21 11:32:37 +02:00
committed by GitHub
parent 7faea53c18
commit 6fe0de8a9e
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
docs/codeql/ql-language-reference/modules.rst
View File

@@ -300,8 +300,14 @@ module to generate a custom equivalence relation on an :ref:`algebraic datatype
.. code-block:: ql
newtype Node = MkNode(int x) { x in [1..6] }
predicate base(Node x, Node y) {(x = MkNode(1) and y = MkNode(2)) or (x = MkNode(3) and y = MkNode(4)) }
newtype Node = MkNode(int x) { x in [1 .. 6] }
predicate base(Node x, Node y) {
x = MkNode(1) and y = MkNode(2)
or
x = MkNode(3) and y = MkNode(4)
}
module Equiv = QlBuiltins::EquivalenceRelation<Node, base/2>;
from int x, int y