For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

Option

Module Option

Constructs an Option type that is a disjoint union of the given type and an additional singleton element.


                                import codeql.util.Option

some	Gets the given element wrapped as an `Option`.

None	The singleton `None` element.
Option	An option type. This is either a singleton `None` or a `Some` wrapping the given type.
Some	A wrapper for the given type.