Macro proof_system::expand_expr

macro_rules! expand_expr {
    ($statement: ident . $($tt: tt)+) => { ... };
    ($statement: ident: $($tt: tt)+) => { ... };
    ($statement: ident ($($tt: tt)+)) => { ... };
    ($statement: ident with variant as $ident: ident $($tt: tt)+) => { ... };
}

Expands provided expression.