gistfile1.rs

#[macro_use]
mod macros {
    #[macro_export]
    macro_rules! prop {
        (($($t:tt)*)) => (prop!($($t)*));
        (T) => (Proposition::True);
        (F) => (Proposition::False);
        (!$e:tt) => (Proposition::Not(box prop!($e)));
        ($e:tt ^ $f:tt) => (Proposition::And(box prop!($e), box prop!($f)));
        ($e:tt v $f:tt) => (Proposition::Or(box prop!($e), box prop!($f)));
        ($e:tt -> $f:tt) => (Proposition::Implies(box prop!($e), box prop!($f)));
    }
}