unique identifier of the variable in the current scope.
Unique id of the node class used in serialization of ErgoTree.
Unique id of the node class used in serialization of ErgoTree.
This is not used as operation, but rather to form a program structure
The type of the value represented by this node.
IR node for let-bound expressions
let x = rhs
which is ValDef, orlet f[T] = rhs
which is FunDef. These nodes are used to represent ErgoTrees after common sub-expression elimination. This representation is more compact in serialized form.unique identifier of the variable in the current scope.