Macro rustproof_libsmt::impl_smt_node

macro_rules! impl_smt_node {
    ($fns: ty, define vars [$($variant: pat),*], define consts [$($c: pat),*]) => { ... };
}