Function lambda_calculus::term::abs

source · 
pub fn abs(term: Term) -> Term
Expand description

Wraps a Term in an Abstraction. Consumes its argument.

Example

use lambda_calculus::*;

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