Module Option
Constructs an Option
type that is a disjoint union of the given type and an
additional singleton element.
Import path
import codeql.util.Option
Predicates
some |
Gets the given element wrapped as an |