Function lambda_calculus::term::app
source · pub fn app(lhs: Term, rhs: Term) -> Term
Expand description
Produces an App
lication of two given Term
s without any reduction, consuming them in the
process.
Example
use lambda_calculus::*;
assert_eq!(app(Var(1), Var(2)), App(Box::new((Var(1), Var(2)))));