Trait logic::ops::Equivalent

pub trait Equivalent<T, RHS> {
    fn equivalent(self, rhs: RHS) -> Expr<T>;
}

Required Methods

fn equivalent(self, rhs: RHS) -> Expr<T>

Implementors

• impl<T, LHS, RHS> Equivalent<T, RHS> for LHS where
    RHS: Into<Expr<T>>,
    LHS: Into<Expr<T>>,