Function lambda_calculus::term::abs
[−]
[src]
pub fn abs(term: Term) -> Term
Wraps a Term
in an Abs
traction. Consumes its argument.
Example
use lambda_calculus::*; assert_eq!(abs(Var(1)), Abs(Box::new(Var(1))));