Macro value_transition 

macro_rules! value_transition {
    ($bound:ident, $direction:expr, $value:expr) => { ... };
}