code: def get_type(prelude, name):
      ty_var = prelude.mod.get_global_type_var(name)
      ty_data = prelude.mod.type_definitions[ty_var]
      return tuple([ty_var] + list(ty_data.constructors))
  
imports: from tvm.relay.backend.interpreter import ConstructorValue
label_desc: Use image node_id 1 for calling a global function with example usage: get_type(prelude, name) and returns: tuple