Module InferredTypes

Import path

import semmle.javascript.dataflow.InferredTypes

INTERNAL: Only to be used by the flow analysis library.

InferredType	A type inferred by the flow analysis.
NonPrimitiveType	A non-primitive type (that is, one of `function`, `class`, `date` or `object`) inferred by the flow analysis.
PrimitiveType	A primitive type (that is, one of `null`, `undefined`, `boolean`, `number` or `string`) inferred by the flow analysis.
TypeofTag	A `typeof` tag, that is, a possible result of the `typeof` operator.

Types inferred by the flow analysis, represented as type tags.