Module TypeInference

Provides logic for assigning types to data flow nodes.

Import path

import codeql.ruby.dataflow.internal.DataFlowPrivate

asModulePattern	Holds if SSA definition `def` belongs to a variable introduced via pattern matching on type `m`. For example, in
hasAdjacentTypeCheckedRead
hasModuleType
hasType