Macro type_operators::_tlsm_states

macro_rules! _tlsm_states {
    (@bounds $machine:ident $implinfo:tt [$($bounds:tt)*] [$($queue:tt)*] (& $arg:tt where $($extra:tt)*)) => { ... };
    (@bounds $machine:ident $implinfo:tt $bounds:tt [$($queue:tt)*] (% $arg:tt $($more:tt)*)) => { ... };
    (@bounds $machine:ident $implinfo:tt [$($bounds:tt)*] [$($queue:tt)*] (# $arg:tt $($more:tt)+)) => { ... };
    (@bounds $machine:ident $implinfo:tt [$($bounds:tt)*] [$($queue:tt)*] (@ $external:ident $arg:tt $($more:tt)+)) => { ... };
    (@bounds $machine:ident $implinfo:tt [$($bounds:tt)*] [$($queue:tt)*] (# $arg:tt)) => { ... };
    (@bounds $machine:ident $implinfo:tt [$($bounds:tt)*] [$($queue:tt)*] (@ $external:ident $arg:tt)) => { ... };
    (@bounds $machine:ident $implinfo:tt $bounds:tt [$($queue:tt)*] ($parameterized:ident $arg:tt $($args:tt)*)) => { ... };
    (@bounds $machine:ident $implinfo:tt $bounds:tt [$next:tt $($queue:tt)*] $constant:ident) => { ... };
    (@bounds $machine:ident { $($implinfo:tt)* } $bounds:tt [] $constant:ident) => { ... };
    (@dispatch $machine:ident forall $quantified:tt { $($input:tt => $output:tt)* }) => { ... };
    (@dispatch $machine:ident $input:tt => $output:tt) => { ... };
    (@implement $machine:ident [$(($($constraint:tt)*))+] ($($bounds:tt)+) [$head:tt $(, $input:tt)+] => $output:tt) => { ... };
    (@implement $machine:ident [$(($($constraint:tt)*))+] ($($bounds:tt)+) [$head:tt] => $output:tt) => { ... };
    (@implement $machine:ident [$(($($constraint:tt)*))+] () [$head:tt $(, $input:tt)+] => $output:tt) => { ... };
    (@implement $machine:ident [$(($($constraint:tt)*))+] () [$head:tt] => $output:tt) => { ... };
    (@implement $machine:ident [] ($($bounds:tt)+) [$head:tt $(, $input:tt)+] => $output:tt) => { ... };
    (@implement $machine:ident [] ($($bounds:tt)+) [$head:tt] => $output:tt) => { ... };
    (@implement $machine:ident [] () [$head:tt $(, $input:tt)+] => $output:tt) => { ... };
    (@implement $machine:ident [] () [$head:tt] => $output:tt) => { ... };
    (@output $machine:ident (& $arg:tt $($extra:tt)*)) => { ... };
    (@output $machine:ident (# $arg:tt $($more:tt)+)) => { ... };
    (@output $machine:ident (# $arg:tt)) => { ... };
    (@output $machine:ident (% $arg:tt $($more:tt)+)) => { ... };
    (@output $machine:ident (% $arg:tt)) => { ... };
    (@output $machine:ident (@ $external:ident $arg:tt $($more:tt)+)) => { ... };
    (@output $machine:ident (@ $external:ident $arg:tt)) => { ... };
    (@output $machine:ident ($parameterized:ident $($arg:tt)+)) => { ... };
    (@output $machine:ident $constant:ident) => { ... };
    ($machine:ident $($head:tt $body:tt $tail:tt)*) => { ... };
}