Macro define_fns_for_logic 

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