Macro impl_sub 

macro_rules! impl_sub {
    ($(@($($params:tt)+):)? $l:ty , $r:ty => $o:ty $(where $($bounds:tt)+)?) => { ... };
}