Function lambda_calculus::term::abs [−] [src]

pub fn abs(term: Term) -> Term

Wraps a term in an abstraction. Consumes its argument.

Example

use lambda_calculus::term::Term::*;
use lambda_calculus::term::abs;

assert_eq!(abs(Var(1)), Abs(Box::new(Var(1))));