Module OptionWithLocationInfo

Constructs an Option type that is a disjoint union of the given type and an additional singleton element, and has a hasLocationInfo predicate. T must have a hasLocationInfo predicate.

Import path

import codeql.util.Option

Predicates

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

Classes

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.

Parameters

TypeWithLocationInfo