Class Option::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.
isNone	Holds if this option is the singleton `None`.
toString	Gets a textual representation of this element.