diff options
| author | Thomas Guillermo Albers Raviola <thomas@thomaslabs.org> | 2026-07-22 12:17:15 +0200 |
|---|---|---|
| committer | Thomas Guillermo Albers Raviola <thomas@thomaslabs.org> | 2026-07-22 12:17:15 +0200 |
| commit | bb42d904cd74b4fd7df58c68c7f802afb6a28ce4 (patch) | |
| tree | 78c447062ee2997ec9628e2e4089114af3c88469 /series.mac | |
| parent | 87da6cf667a507504d857fc03789ec0aa58f2a53 (diff) | |
Add unwrap_exp
Diffstat (limited to 'series.mac')
| -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); + /**/ |
