Open emallson opened 4 years ago
Each term is a token tree, so from a macro perspective the two are syntactically identical. Need to add a means to distinguish the two cases.
cc @ARBaart since this may impact your use
Each term is a token tree, so from a macro perspective the two are syntactically identical. Need to add a means to distinguish the two cases.