Trait Cond 

pub trait Cond<L, N>: Fn(&Subst, &EGraph<L, N>) -> bool + 'static { }

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<T, L: Language, N: Analysis<L>> Cond<L, N> for T

where T: Fn(&Subst, &EGraph<L, N>) -> bool + 'static,