Module Option

Provides a module for constructing optional versions of types.

Import path

import codeql.util.Option

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.