Class LocatableOption::Option

An option type. This is either a singleton None or a Some wrapping the given type.

Import path

import codeql.util.Option

asSome	Gets the wrapped element, if any.	from Option
isNone	Holds if this option is the singleton `None`.	from Option
toString	Gets a textual representation of this element.	from Option