codeql/csharp-all
4.0.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Constructs an Option type that is a disjoint union of the given type and an additional singleton element.
Option
import codeql.util.Option
Gets the given element wrapped as an Option.
The singleton None element.
None
An option type. This is either a singleton None or a Some wrapping the given type.
Some
A wrapper for the given type.