Function lambda_calculus::term::app

pub fn app(lhs: Term, rhs: Term) -> Term

Produces an Application of two given Terms without any reduction, consuming them in the process.

Example

use lambda_calculus::*;

assert_eq!(app(Var(1), Var(2)), App(Box::new(Var(1)), Box::new(Var(2))));