An option type. This is either a singleton None
or a Some
wrapping the
given type.
Import path
import codeql.util.Option
An option type. This is either a singleton None
or a Some
wrapping the
given type.
import codeql.util.Option