Thanks for the proposal! It is definitely extremely important for us to have better type hints and documents for TVM scripts.
One quick question I have been thinking of: is it possible to unify and prevent divergence between `tir.XXX` in the script and `tvm.tir` namespace? If so, there probably won't be necessary to introduce a new namespace `tvm.tir.script.namespace ` --- [Visit Topic](https://discuss.tvm.apache.org/t/rfc-better-type-hinting-for-tvm-scripts/10672/2) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/84422c5059e6f675dd4409c8415e336cc7370425fe4b3bdba4c4e69f3851de4a).
