Macro lambda_calculus::app

macro_rules! app {
    ($term1 : expr, $($term2 : expr), +) => { ... };
}

A macro for chain application of Terms.

Example

use lambda_calculus::term::*;

assert_eq!(app!(Var(1), Var(2), Var(3)), app(app(Var(1), Var(2)), Var(3)));