Function lambda_calculus::term::app

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

Produces an application of its arguments without substitution or reduction, consuming them in the process.

Example

use lambda_calculus::term::Term::*;
use lambda_calculus::term::app;

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