code: def test_id_type():
      mod = tvm.IRModule()
      id_type = relay.GlobalTypeVar("id")
      a = relay.TypeVar("a")
      mod[id_type] = relay.TypeData(id_type, [a], [])
  
      b = relay.TypeVar("b")
      make_id = relay.Var(
          "make_id", relay.FuncType([b], id_type(b), [b])
      )
      t = relay.scalar_type("float32")
      b = relay.Var("b", t)
      mod["main"] = relay.Function([make_id, b], make_id(b))
      mod = transform.InferType()(mod)
      assert mod["main"].body.checked_type == id_type(t)
  
imports: import tvm
  from tvm import te
  from tvm import relay
  from tvm.relay import transform
label_desc: Use image node_id 2 for calling a global function with example usage: test_id_type() without return types