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

update wording

Browse Source
This commit is contained in:
Shati Patel
2020-05-27 12:00:17 +01:00
parent 5cf2e3ed8c
commit 6c9c803d94
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/language/ql-handbook/types.rst
View File

@@ -493,8 +493,8 @@ Type unions
Type unions are user-defined types that are declared with the keyword ``class``.
The syntax resembles :ref:`type aliases <type-aliases>`, but with two or more type expressions on the right-hand side.
Type unions are used for creating restricted versions of existing :ref:`algebraic datatypes <algebraic-datatypes>`, by explicitly
selecting a subset of the branches of those datatypes and binding them to a new type.
Type unions are used for creating restricted versions of an existing :ref:`algebraic datatype <algebraic-datatypes>`, by explicitly
selecting a subset of the branches of that datatype and binding them to a new type.
Type unions of :ref:`database types <database-types>` are also supported.
You can use a type union to explicitly restrict the permitted branches from an algebraic datatype