Module: Ikra::TypeInference

Defined in:

lib/types/inference/symbol_table.rb,
lib/types/inference/ast_inference.rb,
lib/types/inference/object_tracer.rb,
lib/types/inference/command_inference.rb,
lib/types/inference/clear_types_visitor.rb

Defined Under Namespace

Classes: ClearTypesVisitor, CommandInference, ObjectTracer, SymbolTable, Visitor