class Steep::TypeInference::TypeEnv

def set(const: nil, gvar: nil, ivar: nil, type:)
  case
  when const
    const_types[const] = type
  else
    lookup_dictionary(ivar: ivar, gvar: gvar) do |var_name, dictionary|
      dictionary[var_name] = type
    end
  end
end