In tvm, according to the docs
Let binding is used in every high-level programming language. In Relay, it is a data structure with three fields Let(var, value, body). When we evaluate a let expression, we first evaluate the value part, assign it to the var, then return the evaluated result in the body expression.
The LetNode/Let-binding has a triplet form of (var, value, body), can someone give me some examples of this form in TVM or normal anf expression?