Macro operator

macro_rules! operator {
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident + $b:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident - $b:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident * $b:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident / $b:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident % $b:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident & $b:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident | $b:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident ^ $b:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident << $b:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident >> $b:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty, $B:ty :
        $(#[$fn_attr:meta])* $a:ident[$b:ident] -> & $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty :
        $(#[$fn_attr:meta])* -$a:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
    (
        $(#[$impl_attr:meta])* $({ $($generics:tt)* })? $A:ty :
        $(#[$fn_attr:meta])* !$a:ident -> $C:ty
        { $($body:tt)* }
    ) => { ... };
}