Skip to main content

Module trace_box

Module trace_box 

Source
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ยง

TraceBox
A wrapper around a trace which tracks the frontiers of all referees.