Skip to main content

DecisionTraceSink

Trait DecisionTraceSink 

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

Recipient of Decisions emitted by the interpreter backend.

Required Methods§

Source

fn record(&self, decision: Decision)

Implementations on Foreign Types§

Source§

impl<T> DecisionTraceSink for Arc<T>

Source§

fn record(&self, decision: Decision)

Implementors§