This PR changes the labels to work better with verification. Currently the labels are represented as integers in inner syntax but still parsed as custom tokens for concrete execution. This brings them back in line and places the token definition in the TEAL_SYNTAX module so TEAL programs with labels can also be parsed, e.g., inside claims.
This PR changes the labels to work better with verification. Currently the labels are represented as integers in inner syntax but still parsed as custom tokens for concrete execution. This brings them back in line and places the token definition in the
TEAL_SYNTAXmodule so TEAL programs with labels can also be parsed, e.g., inside claims.