Macro judg 

macro_rules! judg {
    ($($name:ident($concl:ty $(>$prec:literal)?):$rl:ident { $($impl:tt)* }),*$(,)?) => { ... };
}