Macro proof_system::delegate_indexed

source ยท 
macro_rules! delegate_indexed {
    ($self: ident $([$idx_var: ident $idx_val: expr])? => $($variants: ident),+: $($tt: tt)+) => { ... };
    (@ $self: ident $([$idx_var: ident $idx_val: expr])? => $variant: ident: $($tt: tt)+) => { ... };
    (@ $self: ident $([$idx_var: ident $idx_val: expr])? => $variant: ident, $($next_variant: ident),+: $($tt: tt)+) => { ... };
}
Expand description

Delegates provided expression to an indexed variant of the enum based.