-
Jakob Botsch Nielsen authored
Instead of traces always starting from the empty environment and an empty queue, they can now start from any environment and queue. This should hopefully make it simpler for us to define what it means to be a prefix of a trace.
a221e6e1