Tvm DLTensor float32 how to convert into a DLTensor float16?

[jinfagang]

tvm DLTensor float32 how to convert into a DLTensor float16?

simillar question: [SOLVED]How to convert DLTensor from float32 to float16 in c++

but this guy doesn’t post any solution.