Module 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.

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

Location		LocationSig
T		LocatableType