Macro lambda_calculus::tuple
source · macro_rules! tuple { ($first:expr, $($next:expr),+) => { ... }; }
Expand description
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()))
);