Skip to main content

ContainsVariables

Trait ContainsVariables 

Source
pub trait ContainsVariables {
    // Required method
    fn accumulate_mentioned_variables(&self, acc: &mut BTreeSet<Variable>);

    // Provided method
    fn collect_mentioned_variables(&self) -> BTreeSet<Variable> { ... }
}

Required Methods§

Provided Methods§

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§