As in this PR we introduce a new variable to tvm to represent variables which >= 0, this helps bound inference for floordiv/floormod/etc. We plan to encourage users to use this new type of variable in
This is a call for the name of the variable, we have choices,
- TIndexVar (T stands for Tensor)
- ShapeVar (however in Relay, it means multi-dim tuple)
- NonNegVar (could be too limited as we might embed bound in the future)
- BoundedVar (could be too general though)
Please share your thoughts, and welcome new name proposal.