Macro lambda_calculus::app

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

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)));