code: def test_binding_over_typevars():
      solver = make_solver()
  
      t1 = relay.ty.IncompleteType()
      t2 = relay.ty.IncompleteType()
  
      a = relay.ty.TypeVar("a")
      b = relay.ty.TypeVar("b")
      c = relay.ty.TypeVar("c")
      d = relay.ty.TypeVar("d")
  
      ft1 = relay.ty.FuncType([t1], t2, [c, d])
      ft2 = relay.ty.FuncType([a], b, [a, b])
      unified = solver.Unify(ft1, ft2)
      assert unified == solver.Resolve(ft1)
  
imports: import tvm
  from tvm import relay
  from tvm.relay import testing
  import pytest
  import numpy
label_desc: Use image node_id 11 for calling a global function with example usage: test_binding_over_typevars() without return types