codeql/java-all
5.0.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Provides a module for constructing optional versions of types.
import codeql.util.Option
Constructs an Option type that is a disjoint union of the given type and an additional singleton element.
Option