Macro rustproof_libsmt::define_logic

macro_rules! define_logic {
    ($logic: ident, $op: ident, $sorts: ty, map { $($fv: pat => $rt: path),* }) => { ... };
}