Macro implies

macro_rules! implies {
    ($l:expr, $r:expr) => { ... };
}