Trait DecisionTraceSink 

pub trait DecisionTraceSink:
    Debug
    + Send
    + Sync {
    // Required method
    fn record(&self, decision: Decision);
}

Recipient of Decisions emitted by the interpreter backend.

Required Methods

fn record(&self, decision: Decision)

Implementations on Foreign Types

impl<T> DecisionTraceSink for Arc<T>

where T: DecisionTraceSink + ?Sized,

fn record(&self, decision: Decision)

Implementors

impl DecisionTraceSink for DecisionTraceTarget

impl DecisionTraceSink for VecSink