class Steep::TypeInference::Context::ModuleContext

def const_context
  const_env.context
end

def initialize(instance_type:, module_type:, implement_name:, current_namespace:, const_env:, class_name:, instance_definition: nil, module_definition: nil)
  @instance_type = instance_type
  @module_type = module_type
  @defined_instance_methods = Set.new
  @defined_module_methods = Set.new
  @implement_name = implement_name
  @current_namespace = current_namespace
  @const_env = const_env
  @class_name = class_name
  @instance_definition = instance_definition
  @module_definition = module_definition
end