diff options
| -rw-r--r-- | series.mac | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -190,6 +190,8 @@ expansions */ defrule(r_exp_β_val, β_expr(m_any1), β_expr_val(m_any1, expansion_order)); defrule(r_exp_γ_val, γ_expr(m_any1), γ_expr_val(m_any1, expansion_order)); +unwrap_exp(expr) := apply1(expr, r_exp_β_val, r_exp_γ_val); + /**/ |
