Macro puffin::term

macro_rules! term {
    (($agent:expr, $counter:expr) / $typ:ty $(>$req_type:expr)?) => { ... };
    (($agent:expr, $counter:expr) $(>$req_type:expr)?) => { ... };
    (($agent:expr, $counter:expr) [$message_type:expr] / $typ:ty $(>$req_type:expr)?) => { ... };
    (($agent:expr, $counter:expr) [$message_type:expr] $(>$req_type:expr)?) => { ... };
    ($func:ident ($($args:tt),*) $(>$req_type:expr)?) => { ... };
    ($func:ident $(>$req_type:expr)?) => { ... };
    (@$e:ident $(>$req_type:expr)?) => { ... };
}