Macro lambda_calculus::app
[−]
[src]
macro_rules! app { ($term1:expr, $($term2:expr),+) => { ... }; }
A macro for chain application of Term
s.
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)));