Macro lambda_calculus::abs

macro_rules! abs {
    ($n:expr, $term:expr) => { ... };
}

A macro for multiple abstraction of Terms.

Example

use lambda_calculus::term::*;

assert_eq!(abs!(3, Var(1)), abs(abs(abs(Var(1)))));