Trait logic::ops::Implies

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

Required Methods

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

Implementors

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