I'm know I'm quite late to this discussion, but is there a way to embed bound information on variables now.
I know that we have `tvm.tir.SizeVar` which defines a bound of `>= 0`, but couldn't find a way to directly embed bound information on variables without writing a pass through TIR. Thanks, Anirudh --- [Visit Topic](https://discuss.tvm.apache.org/t/discuss-embed-more-bound-information-into-var-or-expr/4079/29) 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/cd0ea16ee234633228f4cd26654f87dcbc1a50764e7255e8f87ce3f02446e9f3).
