Module: Steep::TypeInference

Defined in:

lib/steep/type_inference/context.rb,
lib/steep/type_inference/type_env.rb,
lib/steep/type_inference/case_when.rb,
lib/steep/type_inference/send_args.rb,
lib/steep/type_inference/method_call.rb,
lib/steep/type_inference/block_params.rb,
lib/steep/type_inference/constant_env.rb,
lib/steep/type_inference/method_params.rb,
lib/steep/type_inference/type_env_builder.rb,
lib/steep/type_inference/multiple_assignment.rb,
lib/steep/type_inference/logic_type_interpreter.rb

Defined Under Namespace

Modules: MethodCall Classes: BlockParams, CaseWhen, ConstantEnv, Context, LogicTypeInterpreter, MethodParams, MultipleAssignment, SendArgs, TypeEnv, TypeEnvBuilder