Macro tract_core::bin_to_super_type

macro_rules! bin_to_super_type {
    ($func:ident, $Op:ident,
     $(cost: $cost:expr,)?
     $(flip: $flip:expr,)?
     $(declutter: $declutter:expr,)?
     $(validation: $validation:expr,)?
     $( [$($typ:ident),*] => $cab:expr),*) => { ... };
}