Currently, the Replay module ignores tokens. This prevents external tools such as KaTie to perform queries involving tokens (e.g. https://github.com/jonathan-laurent/KaTie/issues/21 from @hmedina ). The simplest fix would be to add a field tokens: (string * Nbr.t) array to the state type and ensure that rule applications correctly update this field.
Currently, the Replay module ignores tokens. This prevents external tools such as KaTie to perform queries involving tokens (e.g. https://github.com/jonathan-laurent/KaTie/issues/21 from @hmedina ). The simplest fix would be to add a field
tokens: (string * Nbr.t) arrayto thestatetype and ensure that rule applications correctly update this field.https://github.com/Kappa-Dev/KappaTools/blob/3e5eb6e64d12db2fbfd10481d5cbe622b8b7aa0b/core/simulation/replay.mli#L11-L16