Macro lambda_calculus::abs
[−]
[src]
macro_rules! abs { ($n:expr, $term:expr) => { ... }; }
A macro for multiple abstraction of Term
s.
Example
use lambda_calculus::term::*; assert_eq!(abs!(3, Var(1)), abs(abs(abs(Var(1)))));