code: def test_unify_quantified_funcs():
      solver = make_solver()
      a, b, c = (
          relay.TypeVar("a"),
          relay.TypeVar("b"),
          relay.TypeVar("c"),
      )
      ft1 = relay.FuncType([a, b], c, [a, b, c])
      ft2 = relay.FuncType([a, a], a, [a])
      unified = solver.Unify(ft1, ft2)
      assert unified == ft2
  
      ft3 = relay.FuncType([a], a, [a])
      ft4 = relay.FuncType([b], c, [b, c])
      unified = solver.Unify(ft3, ft4)
      assert unified == ft3
  
imports: import tvm
  from tvm import relay
  from tvm.relay import testing
  import pytest
  import numpy
label_desc: Use image node_id 14 for calling a global function with example usage: test_unify_quantified_funcs() without return types