Module sink 

ProofEventSink trait + ProofSink wrapper.

ProofSink is the handle that stwo-ml stores in a thread-local and calls into during proving. It wraps an optional boxed sink so that the inactive (no visualization) path is a single Option::is_some() branch with no heap allocation.

Structs

ChannelSink

A sink backed by a crossbeam bounded channel.

CollectingSink

A sink that collects all emitted events into a Vec. Useful in integration tests that need to assert on the sequence of events.

NullSink

A sink that discards every event. Used as the default when visualization is disabled. The compiler should inline and eliminate all calls through this.

ProofSink

Wrapper around an optional ProofEventSink.

Traits

ProofEventSink

A consumer of proof events.