[−][src]Macro lambda_calculus::app
A macro for chain application of Term
s.
Example
use lambda_calculus::term::*; assert_eq!(app!(Var(1), Var(2), Var(3)), app(app(Var(1), Var(2)), Var(3)));
A macro for chain application of Term
s.
use lambda_calculus::term::*; assert_eq!(app!(Var(1), Var(2), Var(3)), app(app(Var(1), Var(2)), Var(3)));