[−][src]Macro lambda_calculus::tuple
A macro for creating lambda-encoded tuples.
Example
use lambda_calculus::term::*; use lambda_calculus::*; assert_eq!( tuple!(1.into_church(), 2.into_church()), abs(app!(Var(1), 1.into_church(), 2.into_church())) ); assert_eq!( tuple!(1.into_church(), 2.into_church(), 3.into_church()), abs(app!(Var(1), 1.into_church(), 2.into_church(), 3.into_church())) );