Expand description
A trace wrapper suitable for use through shared reference counted ownership.
The wrapper mainly accumulates the expressed compaction constraints from many, and presents their implications to the wrapped trace.
Structsยง
- Trace
Box - A wrapper around a trace which tracks the frontiers of all referees.