Class Option::None

The singleton None element.

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