Module Option
Provides a module for constructing optional versions of types.
Import path
import codeql.util.Option
Modules
| LocatableOption | Constructs an Option type that is a disjoint union of the given type and an additional singleton element, and has a getLocation predicate. T must have a getLocation predicate with a result type of Location. |
| Option | Constructs an Option type that is a disjoint union of the given type and an additional singleton element. |
| 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. |