# File lib/support.rb, line 90
  def unify(name, type)
    success = false
    @functions[name].each do |o| # unify(type)
      begin
        o.unify type
        success = true
      rescue
        # ignore
      end
    end
    unless success then
      yield(name, type) if block_given?
    end
    type
  end