[−][src]Function lambda_calculus::term::app
pub fn app(lhs: Term, rhs: Term) -> Term
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)))));