Macro lambda_calculus::app

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

A macro for chain application of Terms.

Example

use lambda_calculus::term::Term::*;
use lambda_calculus::term::app;

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