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