Using the symbol table for variable names in rules about biscuit HOT 4 CLOSED

This is interesting!
For the record, I've done something for this exact issue, but only as a preprocessing step to the parsing. It still allow to mix named and numbered variables and doesn't print rules with named variables when inspecting the biscuit, so it only help with the readability of the initial definition.

Mixing both variable types doesn't seems to have any interest, and easing the inspection and debugging is a great plus, so I would be happy to have this 👍

from biscuit.

I mentioned it in the specification here: 828f4c3
It updates the samples since they are generated differently now by the Rust implementation: biscuit-auth/biscuit-rust@870c2f5

from biscuit.

I've played a bit with it after implementation, and honestly I should have done that much sooner, it's great when there are complex rules 😄

from biscuit.

this is now done in the Go implementation and the Java implementation as well

from biscuit.