Function lambda_calculus::term::abs

pub fn abs(term: Term) -> Term

Wraps a Term in an Abstraction. Consumes its argument.

Example

use lambda_calculus::*;

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