Module TypeFlow

Import path

import codeql.typeflow.internal.TypeFlowImpl

bestTypeFlow	Holds if the runtime type of `n` is bounded by `t` and if this bound is likely to be better than the static type of `n`. The flag `exact` indicates whether `t` is an exact bound or merely an upper bound.
bestUnionType	Holds if the runtime type of `n` is bounded by a union type and if this bound is likely to be better than the static type of `n`. The union type is made up of the types `t` related to `n` by this predicate, and the flag `exact` indicates whether `t` is an exact bound or merely an upper bound.
isNull	Holds if `null` is the only value that flows to `n`.

Location		LocationSig
I		TypeFlowInput<TypeFlowImpl::TypeFlow::Location>