Macro rustproof_libsmt::define_sorts_for_logic [−] [src]

macro_rules! define_sorts_for_logic {
    ($logic: ident, $($variant: ident -> $sort: ty),*) => { ... };
}