Macro peepmatic_traits::define_typing_rules_impl_for_operator

macro_rules! define_typing_rules_impl_for_operator {
    (
        $operator:ident {
            $(
                $variant:ident {
                    $( immediates( $($immediate:ident),* ); )?
                    $( parameters( $($parameter:ident),* ); )?
                    result( $result:ident );
                    $( is_reduce($is_reduce:expr); )?
                    $( is_extend($is_extend:expr); )?
                }
            )*
        }
    ) => { ... };
    (
        @arity;
    ) => { ... };
    (
        @arity;
        $head:ident,
        $( $rest:ident, )*
    ) => { ... };
}

Define a peepmatic_traits::TypingRules implementation for the given operator type.